| ID | 223599 | |||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Package Name | mlton | |||||||||||||||||
| Links | Fedora Package Sources | Fedora Official Koji Buildsystem | Rocks RISC-V Koji Buildsystem | Fedora RISC-V GitHub | Old Koji Buildsystem | |||||||||||||||||
| Version | 20210117 | |||||||||||||||||
| Release | 1.fc45 | |||||||||||||||||
| Epoch | Draft | False | ||||||||||||||||
| Source | git+https://src.fedoraproject.org/rpms/mlton.git#ad1959115806668356d2e1aa5e404457e2284d2e | |||||||||||||||||
| Summary | Optimizing compiler for Standard ML | |||||||||||||||||
| Description | MLton 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 by | hezhengyu | |||||||||||||||||
| State | complete | |||||||||||||||||
| Volume | DEFAULT | |||||||||||||||||
| Started | Sun, 30 Aug 2026 15:13:41 CST | |||||||||||||||||
| Completed | Mon, 31 Aug 2026 01:41:13 CST | |||||||||||||||||
| Task | build (f45, /rpms/mlton.git:ad1959115806668356d2e1aa5e404457e2284d2e) | |||||||||||||||||
| Extra | {'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/mlton.git#ad1959115806668356d2e1aa5e404457e2284d2e'}} | |||||||||||||||||
| Tags |
|
|||||||||||||||||
| RPMs |
|
|||||||||||||||||
| Logs |
|
|||||||||||||||||
| Changelog | * Sun Aug 30 2026 Koji - 20210117-1.fc45 - local build |