Thu, 20 Jun 2024 18:46:12 UTC | login

Information for build ocaml-tplib-1.3-37.fc31

ID116846
Package Nameocaml-tplib
Version1.3
Release37.fc31
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/ocaml-tplib.git#89fae6f0062ef38aac01d58bc431d21e08270d9e
SummaryTropical Polyhedra Library
DescriptionTPLib computes a description by means of vertices and rays of tropical polyhedra defined by means of inequalities, and conversely. It also provides a numerical abstract domain based on tropical polyhedra, in order to infer min-/max- invariants over programs.
Built bydavidlt
State failed
Volume DEFAULT
StartedThu, 01 Aug 2019 08:16:52 UTC
CompletedThu, 01 Aug 2019 08:42:56 UTC
Taskbuild (f31-candidate, /rpms/ocaml-tplib.git:89fae6f0062ef38aac01d58bc431d21e08270d9e)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/ocaml-tplib.git#89fae6f0062ef38aac01d58bc431d21e08270d9e'}}
Tags No tags
RPMs No RPMs
Changelog * Thu Jul 25 2019 Fedora Release Engineering <releng@fedoraproject.org> - 1.3-37 - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild * Thu Jul 04 2019 Jerry James <loganjerry@gmail.com> - 1.3-36 - Rebuild for ocaml 4.08.0 * Fri Feb 01 2019 Fedora Release Engineering <releng@fedoraproject.org> - 1.3-35 - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild * Fri Jul 13 2018 Fedora Release Engineering <releng@fedoraproject.org> - 1.3-34 - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild * Wed Jul 11 2018 Richard W.M. Jones <rjones@redhat.com> - 1.3-33 - OCaml 4.07.0 (final) rebuild. * Wed Jun 20 2018 Richard W.M. Jones <rjones@redhat.com> - 1.3-32 - OCaml 4.07.0-rc1 rebuild. * Thu Feb 08 2018 Fedora Release Engineering <releng@fedoraproject.org> - 1.3-31 - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild * Sat Nov 18 2017 Richard W.M. Jones <rjones@redhat.com> - 1.3-30 - OCaml 4.06.0 rebuild. * Wed Aug 09 2017 Richard W.M. Jones <rjones@redhat.com> - 1.3-29 - OCaml 4.05.0 rebuild. * Thu Aug 03 2017 Fedora Release Engineering <releng@fedoraproject.org> - 1.3-28 - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild