Tue, 03 Dec 2024 20:00:58 UTC | login

Information for build mlton-20180207-18.fc37

ID214400
Package Namemlton
Version20180207
Release18.fc37
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/mlton.git#134b63ce15d1a49ee830b17778d69a62fdd416d8
SummaryOptimizing compiler for Standard ML
DescriptionMLton is a whole-program optimizing compiler for Standard ML. MLton generates standalone executables with excellent runtime performance, is SML 97 compliant, and has a complete basis library. MLton has source-level profiling, a fast C FFI, an interface to the GNU multiprecision library, and lots of useful libraries.
Built bydavidlt
State complete
Volume DEFAULT
StartedTue, 08 Nov 2022 12:00:22 UTC
CompletedWed, 09 Nov 2022 20:14:59 UTC
Taskbuild (f37, /rpms/mlton.git:134b63ce15d1a49ee830b17778d69a62fdd416d8)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/mlton.git#134b63ce15d1a49ee830b17778d69a62fdd416d8'}}
Tags
f37
f38
RPMs
src
mlton-20180207-18.fc37.src.rpm (info) (download)
riscv64
mlton-20180207-18.fc37.riscv64.rpm (info) (download)
mlton-debuginfo-20180207-18.fc37.riscv64.rpm (info) (download)
mlton-debugsource-20180207-18.fc37.riscv64.rpm (info) (download)
Logs
riscv64
build.log
hw_info.log
mock_output.log
root.log
state.log
Changelog * Thu Jul 21 2022 Fedora Release Engineering <releng@fedoraproject.org> - 20180207-18 - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild * Thu Jan 20 2022 Fedora Release Engineering <releng@fedoraproject.org> - 20180207-17 - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild * Thu Jul 22 2021 Fedora Release Engineering <releng@fedoraproject.org> - 20180207-16 - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild * Tue Jan 26 2021 Fedora Release Engineering <releng@fedoraproject.org> - 20180207-15 - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild * Tue Jul 28 2020 Fedora Release Engineering <releng@fedoraproject.org> - 20180207-14 - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild