mlton-20180207-12.fc31 | Build Info

Information for build mlton-20180207-12.fc31

129585

Package Name

mlton

Version

20180207

Release

12.fc31

Epoch

Source

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

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

Sat, 21 Sep 2019 00:46:14 UTC

Completed

Sun, 22 Sep 2019 07:31:27 UTC

Task

build (f31-candidate, /rpms/mlton.git:410a1c662f4affe0b40d61687f9eab638cff3476)

Extra

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

Tags

f31

f32

f33

RPMs

src
	mlton-20180207-12.fc31.src.rpm (info) (download)
riscv64
	mlton-20180207-12.fc31.riscv64.rpm (info) (download)
	mlton-debuginfo-20180207-12.fc31.riscv64.rpm (info) (download)
	mlton-debugsource-20180207-12.fc31.riscv64.rpm (info) (download)

Logs

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

Changelog

* 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 * Mon Mar 19 2018 Adam Goode <adam@spicenitz.org> - 20180207-1 - New upstream release * Thu Feb 08 2018 Fedora Release Engineering <releng@fedoraproject.org> - 20130715-14 - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild

Main Site Links:

Information for build mlton-20180207-12.fc31