Wed, 04 Dec 2024 01:31:50 UTC | login

Information for build polyml-5.8-3.fc31

ID124199
Package Namepolyml
Version5.8
Release3.fc31
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/polyml.git#cebe334c173b3d6b18bc7ed06dca796fff054959
SummaryPoly/ML compiler and runtime system
DescriptionPoly/ML is a full implementation of Standard ML available as open-source. This release supports the ML97 version of the language and the Standard Basis Library.
Built bydavidlt
State failed
Volume DEFAULT
StartedSat, 21 Sep 2019 16:02:52 UTC
CompletedSat, 21 Sep 2019 17:15:27 UTC
Taskbuild (f31-candidate, /rpms/polyml.git:cebe334c173b3d6b18bc7ed06dca796fff054959)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/polyml.git#cebe334c173b3d6b18bc7ed06dca796fff054959'}}
Tags No tags
RPMs No RPMs
Changelog * Fri Jul 26 2019 Fedora Release Engineering <releng@fedoraproject.org> - 5.8-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild * Sat May 25 2019 Jerry James <loganjerry@gmail.com> - 5.8-2 - Upstream's executable stack approach does not work in all cases, so bring back the workarounds * Sat May 18 2019 Jerry James <loganjerry@gmail.com> - 5.8-1 - Add -fixes patch to fix s390x build * Tue Mar 12 2019 Jerry James <loganjerry@gmail.com> - 5.8-1 - New upstream version - Drop all patches; all upstreamed - Drop executable stack workarounds, now handled upstream * Sat Feb 02 2019 Fedora Release Engineering <releng@fedoraproject.org> - 5.7.1-6 - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild * Tue Jul 31 2018 Jerry James <loganjerry@gmail.com> - 5.7.1-5 - Add upstream patches -in-ml, -mutable, and -thread-count * Fri Jul 13 2018 Fedora Release Engineering <releng@fedoraproject.org> - 5.7.1-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild * Sat Jul 07 2018 Jerry James <loganjerry@gmail.com> - 5.7.1-3 - Add upstream patch to fix an immutable area bug * Fri Feb 09 2018 Fedora Release Engineering <releng@fedoraproject.org> - 5.7.1-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild * Fri Dec 29 2017 Jerry James <loganjerry@gmail.com> - 5.7.1-1 - New upstream version - Drop upstreamed -crowbar patch - Drop ExclusiveArch tag; all Fedora arches are now supported