mlton-20180207-13.fc33 | Build Info

Information for build mlton-20180207-13.fc33

154017

Package Name

mlton

Version

20180207

Release

13.fc33

Epoch

Source

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

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, 29 Mar 2020 00:17:57 UTC

Completed

Sun, 29 Mar 2020 12:45:58 UTC

Task

build (f33, /rpms/mlton.git:dbc167e461259962a5141aea88e859041f72c9cb)

Extra

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

Tags

f33

RPMs

src
	mlton-20180207-13.fc33.src.rpm (info) (download)
riscv64
	mlton-20180207-13.fc33.riscv64.rpm (info) (download)
	mlton-debuginfo-20180207-13.fc33.riscv64.rpm (info) (download)
	mlton-debugsource-20180207-13.fc33.riscv64.rpm (info) (download)

Logs

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

Changelog

* Wed Jan 29 2020 Fedora Release Engineering <releng@fedoraproject.org> - 20180207-13 - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild * Thu Jul 25 2019 Fedora Release Engineering <releng@fedoraproject.org> - 20180207-12 - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild * Sat Apr 27 2019 Adam Goode <adam@spicenitz.org> - 20180207-11 - Add missing patch and re-bootstrap for ppc64le (RHBZ #1676288) * Fri Feb 01 2019 Fedora Release Engineering <releng@fedoraproject.org> - 20180207-10 - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild * Mon Jul 23 2018 Adam Goode <adam@spicenitz.org> - 20180207-9 - BuildRequires: gcc - Remove bootstrap * Fri Jul 13 2018 Fedora Release Engineering <releng@fedoraproject.org> - 20180207-8 - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild * Wed Apr 04 2018 Adam Goode <adam@spicenitz.org> - 20180207-7 - Bootstrap RISC-V * Sun Apr 01 2018 Adam Goode <adam@spicenitz.org> - 20180207-6 - Finalize bootstrap * Sun Apr 01 2018 Adam Goode <adam@spicenitz.org> - 20180207-5 - Fix EPEL build - Modernize the specfile * Sun Apr 01 2018 Adam Goode <adam@spicenitz.org> - 20180207-4 - Bootstrap the remaining Fedora and RHEL7 arches * Sat Mar 31 2018 Adam Goode <adam@spicenitz.org> - 20180207-3 - Remove broken release workaround * Sat Mar 31 2018 Adam Goode <adam@spicenitz.org> - 20180207-2 - Fix busted 20180207-1 release - Remove bootstrap stuff for now

Main Site Links:

Information for build mlton-20180207-13.fc33