Tue, 14 May 2024 17:06:15 UTC | login

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

ID53572
Package Nameocaml-tplib
Version1.3
Release34.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
StartedSat, 25 Aug 2018 18:39:34 UTC
CompletedSat, 25 Aug 2018 20:00:40 UTC
Taskbuild (f29-candidate, ocaml-tplib-1.3-34.fc29.src.rpm)
Tags
f29
f30
f31
f32
f33
RPMs
src
ocaml-tplib-1.3-34.fc29.src.rpm (info) (download)
riscv64
ocaml-tplib-1.3-34.fc29.riscv64.rpm (info) (download)
ocaml-tplib-devel-1.3-34.fc29.riscv64.rpm (info) (download)
ocaml-tplib-tools-1.3-34.fc29.riscv64.rpm (info) (download)
ocaml-tplib-debuginfo-1.3-34.fc29.riscv64.rpm (info) (download)
ocaml-tplib-debugsource-1.3-34.fc29.riscv64.rpm (info) (download)
ocaml-tplib-tools-debuginfo-1.3-34.fc29.riscv64.rpm (info) (download)
Logs
riscv64
build.log
hw_info.log
mock_output.log
root.log
state.log
Changelog * 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 * 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.