Sat, 18 May 2024 12:32:11 UTC | login

Information for build ocaml-tplib-1.3-50.fc33

ID157726
Package Nameocaml-tplib
Version1.3
Release50.fc33
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/ocaml-tplib.git#6cfeea9be4403c0d5b040e4196d496aef1f387a6
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
StartedTue, 09 Jun 2020 14:20:36 UTC
CompletedTue, 09 Jun 2020 14:37:16 UTC
Taskbuild (f33, /rpms/ocaml-tplib.git:6cfeea9be4403c0d5b040e4196d496aef1f387a6)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/ocaml-tplib.git#6cfeea9be4403c0d5b040e4196d496aef1f387a6'}}
Tags No tags
RPMs No RPMs
Changelog * Mon May 04 2020 Richard W.M. Jones <rjones@redhat.com> - 1.3-50 - OCaml 4.11.0+dev2-2020-04-22 rebuild * Tue Apr 21 2020 Richard W.M. Jones <rjones@redhat.com> - 1.3-49 - OCaml 4.11.0 pre-release attempt 2 * Fri Apr 17 2020 Richard W.M. Jones <rjones@redhat.com> - 1.3-48 - OCaml 4.11.0 pre-release * Mon Apr 13 2020 Jerry James <loganjerry@gmail.com> - 1.3-47 - Exclude ocamlx(Numeric_plugin) from Requires * Thu Apr 02 2020 Richard W.M. Jones <rjones@redhat.com> - 1.3-46 - Update all OCaml dependencies for RPM 4.16. * Wed Feb 26 2020 Richard W.M. Jones <rjones@redhat.com> - 1.3-45 - OCaml 4.10.0 final. * Wed Jan 29 2020 Fedora Release Engineering <releng@fedoraproject.org> - 1.3-44 - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild * Sun Jan 19 2020 Richard W.M. Jones <rjones@redhat.com> - 1.3-43 - OCaml 4.10.0+beta1 rebuild. * Fri Dec 06 2019 Richard W.M. Jones <rjones@redhat.com> - 1.3-42 - OCaml 4.09.0 (final) rebuild. * Fri Oct 11 2019 Jerry James <loganjerry@gmail.com> - 1.3-41 - Rebuild for mpfr 4 * Tue Sep 03 2019 Jerry James <loganjerry@gmail.com> - 1.3-40 - Rebuild for ocaml-zarith 1.9 * Fri Aug 16 2019 Richard W.M. Jones <rjones@redhat.com> - 1.3-39 - OCaml 4.08.1 (final) rebuild. * Thu Aug 01 2019 Richard W.M. Jones <rjones@redhat.com> - 1.3-38 - OCaml 4.08.1 (rc2) rebuild. * 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.