fedora
Click here to visit the old openkoji buildsystem (Archived)

Information for build mlton-20210117-4.fc41

ID74532
Package Namemlton
Links Fedora Package Sources | Fedora Official Koji Buildsystem | Rocks RISC-V Koji Buildsystem | Fedora RISC-V GitHub | Old Koji Buildsystem
Version20210117
Release4.fc41
Epoch
DraftFalse
Sourcegit+https://src.fedoraproject.org/rpms/mlton.git#988d80c1dbc62aae97d4d295c700acb9504c5678
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 bykojiadmin
State complete
Volume DEFAULT
StartedSat, 07 Sep 2024 02:14:05 CST
CompletedSat, 07 Sep 2024 08:23:43 CST
Taskbuild (f41-build-side-1, /rpms/mlton.git:988d80c1dbc62aae97d4d295c700acb9504c5678)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/mlton.git#988d80c1dbc62aae97d4d295c700acb9504c5678'}}
Tags
f41-build-side-1
RPMs
src
mlton-20210117-4.fc41.src.rpm (info) (download)
riscv64
mlton-20210117-4.fc41.riscv64.rpm (info) (download)
mlton-debuginfo-20210117-4.fc41.riscv64.rpm (info) (download)
mlton-debugsource-20210117-4.fc41.riscv64.rpm (info) (download)
Logs
riscv64
state.log
hw_info.log
root.log
installed_pkgs.log
build.log
mock_output.log
Changelog * Thu Jul 18 2024 Fedora Release Engineering <releng@fedoraproject.org> - 20210117-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild * Thu Jan 25 2024 Fedora Release Engineering <releng@fedoraproject.org> - 20210117-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Sun Jan 21 2024 Fedora Release Engineering <releng@fedoraproject.org> - 20210117-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Fri Oct 13 2023 Adam Goode <adam@spicenitz.org> - 20210117-1 - Update to latest upstream release (rhbz#2243778) * Thu Jul 20 2023 Fedora Release Engineering <releng@fedoraproject.org> - 20180207-26 - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild * Thu Jan 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 20180207-25 - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild * Thu Jul 21 2022 Fedora Release Engineering <releng@fedoraproject.org> - 20180207-24 - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild