Thu, 20 Jun 2024 23:15:41 UTC | login

Information for build ocaml-tplib-1.3-72.fc38

ID232883
Package Nameocaml-tplib
Version1.3
Release72.fc38
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/ocaml-tplib.git#9c72d50fae985293eeadf9ec8f1cb62ca3f61706
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 Feb 2023 11:04:48 UTC
CompletedSat, 25 Feb 2023 13:20:15 UTC
Taskbuild (f38, /rpms/ocaml-tplib.git:9c72d50fae985293eeadf9ec8f1cb62ca3f61706)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/ocaml-tplib.git#9c72d50fae985293eeadf9ec8f1cb62ca3f61706'}}
Tags
f38
f39
f40
f41
RPMs
src
ocaml-tplib-1.3-72.fc38.src.rpm (info) (download)
riscv64
ocaml-tplib-1.3-72.fc38.riscv64.rpm (info) (download)
ocaml-tplib-devel-1.3-72.fc38.riscv64.rpm (info) (download)
ocaml-tplib-tools-1.3-72.fc38.riscv64.rpm (info) (download)
ocaml-tplib-debuginfo-1.3-72.fc38.riscv64.rpm (info) (download)
ocaml-tplib-debugsource-1.3-72.fc38.riscv64.rpm (info) (download)
ocaml-tplib-tools-debuginfo-1.3-72.fc38.riscv64.rpm (info) (download)
Logs
riscv64
hw_info.log
state.log
build.log
root.log
mock_output.log
Changelog * Tue Jan 24 2023 Richard W.M. Jones <rjones@redhat.com> - 1.3-72 - Rebuild OCaml packages for F38 * Thu Jan 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 1.3-71 - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild * 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