mlton-20180207-19.fc38 | Build Info

Information for build mlton-20180207-19.fc38

239064

Package Name

mlton

Version

20180207

Release

19.fc38

Epoch

Source

git+https://src.fedoraproject.org/rpms/mlton.git#37d2d06840eb4a3dca4645484f90d8bf9fee2dbc

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

davidlt

State

complete

Volume

DEFAULT

Started

Sun, 12 Mar 2023 09:15:34 UTC

Completed

Mon, 13 Mar 2023 19:14:02 UTC

Task

build (f38, /rpms/mlton.git:37d2d06840eb4a3dca4645484f90d8bf9fee2dbc)

Extra

{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/mlton.git#37d2d06840eb4a3dca4645484f90d8bf9fee2dbc'}}

Tags

f38

f39

f40

RPMs

src
	mlton-20180207-19.fc38.src.rpm (info) (download)
riscv64
	mlton-20180207-19.fc38.riscv64.rpm (info) (download)
	mlton-debuginfo-20180207-19.fc38.riscv64.rpm (info) (download)
	mlton-debugsource-20180207-19.fc38.riscv64.rpm (info) (download)

Logs

riscv64
	state.log
	root.log
	hw_info.log
	build.log
	mock_output.log

Changelog

* Thu Jan 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 20180207-19 - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild * 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

Main Site Links:

Information for build mlton-20180207-19.fc38