Thu, 20 Jun 2024 19:44:37 UTC | login

Information for build ocaml-tplib-1.3-31.fc29

ID45377
Package Nameocaml-tplib
Version1.3
Release31.fc29
Epoch
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 complete
Volume DEFAULT
StartedTue, 26 Jun 2018 19:29:01 UTC
CompletedTue, 26 Jun 2018 20:21:13 UTC
Taskbuild (f29-candidate, ocaml-tplib-1.3-31.fc29.src.rpm)
Tags
f29
RPMs
src
ocaml-tplib-1.3-31.fc29.src.rpm (info) (download)
riscv64
ocaml-tplib-1.3-31.fc29.riscv64.rpm (info) (download)
ocaml-tplib-devel-1.3-31.fc29.riscv64.rpm (info) (download)
ocaml-tplib-tools-1.3-31.fc29.riscv64.rpm (info) (download)
ocaml-tplib-debuginfo-1.3-31.fc29.riscv64.rpm (info) (download)
ocaml-tplib-debugsource-1.3-31.fc29.riscv64.rpm (info) (download)
ocaml-tplib-tools-debuginfo-1.3-31.fc29.riscv64.rpm (info) (download)
Logs
riscv64
build.log
hw_info.log
mock_output.log
root.log
state.log
Changelog * 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 * Thu Jul 27 2017 Fedora Release Engineering <releng@fedoraproject.org> - 1.3-27 - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild * Tue Jun 27 2017 Richard W.M. Jones <rjones@redhat.com> - 1.3-26 - OCaml 4.04.2 rebuild. * Sat May 13 2017 Richard W.M. Jones <rjones@redhat.com> - 1.3-25 - OCaml 4.04.1 rebuild. * Sat Feb 11 2017 Fedora Release Engineering <releng@fedoraproject.org> - 1.3-24 - Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild * Wed Nov 09 2016 Dan HorĂ¡k <dan@danny.cz> - 1.3-23 - rebuild for s390x codegen bug * Mon Nov 07 2016 Richard W.M. Jones <rjones@redhat.com> - 1.3-22 - Rebuild for OCaml 4.04.0. - Add explicit dependency on ocamlbuild. * Thu Feb 04 2016 Fedora Release Engineering <releng@fedoraproject.org> - 1.3-21 - Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild * Wed Nov 25 2015 Jerry James <loganjerry@gmail.com> - 1.3-20 - Rebuild for ocaml-zarith 1.4.1 * Tue Jul 28 2015 Richard W.M. Jones <rjones@redhat.com> - 1.3-19 - OCaml 4.02.3 rebuild. * Wed Jun 24 2015 Richard W.M. Jones <rjones@redhat.com> - 1.3-18 - ocaml-4.02.2 final rebuild. * Thu Jun 18 2015 Richard W.M. Jones <rjones@redhat.com> - 1.3-17 - ocaml-4.02.2 rebuild. * Wed Jun 17 2015 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.3-16 - Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild * Wed Feb 18 2015 Richard W.M. Jones <rjones@redhat.com> - 1.3-15 - ocaml-4.02.1 rebuild. * Tue Oct 14 2014 Jerry James <loganjerry@gmail.com> - 1.3-14 - Rebuild for ocaml-zarith 1.3 * Fri Sep 19 2014 Jerry James <loganjerry@gmail.com> - 1.3-13 - Add -ocamlbuild patch to fix build with ocaml 4.02.0 - Fix license handling * Sun Aug 24 2014 Richard W.M. Jones <rjones@redhat.com> - 1.3-12 - Bump release and rebuild. * Sat Aug 23 2014 Richard W.M. Jones <rjones@redhat.com> - 1.3-11 - ocaml-4.02.0+rc1 rebuild. * Sun Aug 17 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.3-10 - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild * Sat Aug 02 2014 Richard W.M. Jones <rjones@redhat.com> - 1.3-9 - ocaml-4.02.0-0.8.git10e45753.fc22 rebuild. * Fri Jul 25 2014 Richard W.M. Jones <rjones@redhat.com> - 1.3-8 - OCaml 4.02.0 beta rebuild. * Sat Jun 07 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.3-7 - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild * Fri Apr 18 2014 Jerry James <loganjerry@gmail.com> - 1.3-6 - Remove ocaml_arches macro (bz 1087794) - Drop unnecessary gmp-devel BR * Mon Sep 16 2013 Jerry James <loganjerry@gmail.com> - 1.3-5 - Rebuild for OCaml 4.01.0 - Enable debuginfo * Sat Aug 03 2013 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.3-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild * Fri Jun 21 2013 Jerry James <loganjerry@gmail.com> - 1.3-3 - Rebuild for ocaml-zarith 1.2.1 * Thu May 23 2013 Jerry James <loganjerry@gmail.com> - 1.3-2 - Rebuild for ocaml-zarith 1.2 * Tue Feb 19 2013 Jerry James <loganjerry@gmail.com> - 1.3-1 - New upstream release - Upstream dropped MLGMPIDL support in favor of MLGMP, which we don't ship * Thu Feb 14 2013 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.2-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild * Wed Jan 16 2013 Jerry James <loganjerry@gmail.com> - 1.2-2 - Add man pages - Don't Provide the numeric plugins - Make -devel also Provide -static * Wed Oct 31 2012 Jerry James <loganjerry@gmail.com> - 1.2-1 - Initial RPM