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

Information for build mlton-20210117-3.fc41

ID27757
Package Namemlton
Links Fedora Package Sources | Fedora Official Koji Buildsystem | Rocks RISC-V Koji Buildsystem | Fedora RISC-V GitHub | Old Koji Buildsystem
Version20210117
Release3.fc41
Epoch
DraftFalse
Sourcegit+https://src.fedoraproject.org/rpms/mlton.git#52230601f39d8ad5f0cd0732dbf16c1ffc5c6bc3
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
StartedFri, 03 May 2024 17:50:37 CST
CompletedSat, 04 May 2024 00:09:29 CST
Taskbuild (f41, /rpms/mlton.git:52230601f39d8ad5f0cd0732dbf16c1ffc5c6bc3)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/mlton.git#52230601f39d8ad5f0cd0732dbf16c1ffc5c6bc3'}}
Tags
f41
RPMs
src
mlton-20210117-3.fc41.src.rpm (info) (download)
riscv64
mlton-20210117-3.fc41.riscv64.rpm (info) (download)
mlton-debuginfo-20210117-3.fc41.riscv64.rpm (info) (download)
mlton-debugsource-20210117-3.fc41.riscv64.rpm (info) (download)
Logs
riscv64
root.log
installed_pkgs.log
state.log
build.log
hw_info.log
mock_output.log
Changelog * 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