fedora

Information for build mlton-20210117-10.fc42

ID9236
Package Namemlton
Version20210117
Release10.fc42
Epoch
DraftFalse
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
StartedMon, 09 Jun 2025 16:33:53 UTC
CompletedMon, 09 Jun 2025 16:33:53 UTC
Tags
f42
RPMs
src
mlton-20210117-10.fc42.src.rpm (info) (download)
riscv64
mlton-20210117-10.fc42.riscv64.rpm (info) (download)
mlton-debuginfo-20210117-10.fc42.riscv64.rpm (info) (download)
mlton-debugsource-20210117-10.fc42.riscv64.rpm (info) (download)
Changelog * Fri Jan 17 2025 Fedora Release Engineering <releng@fedoraproject.org> - 20210117-10 - Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild * Sat Nov 02 2024 Adam Goode <adam@spicenitz.org> - 20210117-9 - Fix incorrect autochangelog and add autorelease * Sat Nov 02 2024 Adam Goode <adam@spicenitz.org> - 20210117-7 - Increment release version to build new package * Sat Nov 02 2024 Adam Goode <adam@spicenitz.org> - 20210117-6 - Stop building mlton for i686 * Sat Nov 02 2024 Adam Goode <adam@spicenitz.org> - 20210117-5 - Remove out-of-order changelogs in favor of %autochangelog * 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