Sun, 16 Jun 2024 08:23:24 UTC | login

Information for build ocaml-tplib-1.3-70.fc37

ID201277
Package Nameocaml-tplib
Version1.3
Release70.fc37
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/ocaml-tplib.git#52123ecb8cbb981b8c30016694d25c481cb104ec
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
StartedFri, 07 Oct 2022 21:40:47 UTC
CompletedFri, 07 Oct 2022 23:32:50 UTC
Taskbuild (f37, /rpms/ocaml-tplib.git:52123ecb8cbb981b8c30016694d25c481cb104ec)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/ocaml-tplib.git#52123ecb8cbb981b8c30016694d25c481cb104ec'}}
Tags
f37
f38
RPMs
src
ocaml-tplib-1.3-70.fc37.src.rpm (info) (download)
riscv64
ocaml-tplib-1.3-70.fc37.riscv64.rpm (info) (download)
ocaml-tplib-devel-1.3-70.fc37.riscv64.rpm (info) (download)
ocaml-tplib-tools-1.3-70.fc37.riscv64.rpm (info) (download)
ocaml-tplib-debuginfo-1.3-70.fc37.riscv64.rpm (info) (download)
ocaml-tplib-debugsource-1.3-70.fc37.riscv64.rpm (info) (download)
ocaml-tplib-tools-debuginfo-1.3-70.fc37.riscv64.rpm (info) (download)
Logs
riscv64
build.log
hw_info.log
mock_output.log
root.log
state.log
Changelog * Fri Jul 22 2022 Fedora Release Engineering <releng@fedoraproject.org> - 1.3-70 - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild * Sat Jun 18 2022 Richard W.M. Jones <rjones@redhat.com> - 1.3-69 - OCaml 4.14.0 rebuild * Fri Feb 04 2022 Richard W.M. Jones <rjones@redhat.com> - 1.3-68 - OCaml 4.13.1 rebuild to remove package notes * Thu Jan 20 2022 Fedora Release Engineering <releng@fedoraproject.org> - 1.3-67 - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild * Mon Dec 27 2021 Jerry James <loganjerry@gmail.com> - 1.3-66 - Rebuild for ocaml-mlgmpidl 1.2.14 * Mon Oct 04 2021 Richard W.M. Jones <rjones@redhat.com> - 1.3-65 - OCaml 4.13.1 build * Thu Jul 29 2021 Jerry James <loganjerry@gmail.com> - 1.3-64 - Filter ocaml, mlgmpidl, and zarith symbols out of Provides * Thu Jul 29 2021 Jerry James <loganjerry@gmail.com> - 1.3-63 - Rebuild for changed ocamlx(Dynlink) * Thu Jul 22 2021 Fedora Release Engineering <releng@fedoraproject.org> - 1.3-62 - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild * Mon Mar 15 2021 Richard W.M. Jones <rjones@redhat.com> - 1.3-61 - Bump and rebuild for updated ocaml-findlib. * Wed Mar 03 2021 Jerry James <loganjerry@gmail.com> - 1.3-60 - Rebuild for ocaml-zarith 1.12 * Mon Mar 01 2021 Richard W.M. Jones <rjones@redhat.com> - 1.3-59 - OCaml 4.12.0 build * Wed Feb 17 2021 Jerry James <loganjerry@gmail.com> - 1.3-58 - Bump and rebuild for updated ocaml Dynlink dependency * Tue Jan 26 2021 Fedora Release Engineering <releng@fedoraproject.org> - 1.3-57 - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild * Mon Nov 23 2020 Jerry James <loganjerry@gmail.com> - 1.3-56 - Rebuild for ocaml-zarith 1.11 * Fri Sep 25 2020 Jerry James <loganjerry@gmail.com> - 1.3-55 - Rebuild for ocaml-zarith 1.10 * Tue Sep 01 2020 Richard W.M. Jones <rjones@redhat.com> - 1.3-54 - OCaml 4.11.1 rebuild * Fri Aug 21 2020 Richard W.M. Jones <rjones@redhat.com> - 1.3-53 - OCaml 4.11.0 rebuild * Sat Aug 01 2020 Fedora Release Engineering <releng@fedoraproject.org> - 1.3-52 - Second attempt - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild * Tue Jul 28 2020 Fedora Release Engineering <releng@fedoraproject.org> - 1.3-51 - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild