Wed, 22 May 2024 08:15:59 UTC | login

Information for build ocaml-tplib-1.3-56.fc33.rvre0

ID195265
Package Nameocaml-tplib
Version1.3
Release56.fc33.rvre0
Epoch
Sourcegit+http://fedora.riscv.rocks:3000/rpms/ocaml-tplib.git#0169b87c2143abec5f883ca3b5719eb463771449
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
StartedSun, 25 Apr 2021 07:53:04 UTC
CompletedSun, 25 Apr 2021 08:17:57 UTC
Taskbuild (f33, /rpms/ocaml-tplib.git:0169b87c2143abec5f883ca3b5719eb463771449)
Extra{'source': {'original_url': 'git+http://fedora.riscv.rocks:3000/rpms/ocaml-tplib.git#0169b87c2143abec5f883ca3b5719eb463771449'}}
Tags
f33
f37
f38
RPMs
src
ocaml-tplib-1.3-56.fc33.rvre0.src.rpm (info) (download)
riscv64
ocaml-tplib-1.3-56.fc33.rvre0.riscv64.rpm (info) (download)
ocaml-tplib-devel-1.3-56.fc33.rvre0.riscv64.rpm (info) (download)
ocaml-tplib-tools-1.3-56.fc33.rvre0.riscv64.rpm (info) (download)
ocaml-tplib-debuginfo-1.3-56.fc33.rvre0.riscv64.rpm (info) (download)
ocaml-tplib-debugsource-1.3-56.fc33.rvre0.riscv64.rpm (info) (download)
ocaml-tplib-tools-debuginfo-1.3-56.fc33.rvre0.riscv64.rpm (info) (download)
Logs
riscv64
build.log
hw_info.log
mock_output.log
root.log
state.log
Changelog * Sun Apr 25 2021 David Abdurachmanov <david.abdurachmanov@sifive.com> - 1.3-56.rvre0 - Rebuilt for Fedora RISCV, no changes * 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 * Wed Sep 02 2020 Richard W.M. Jones <rjones@redhat.com> - 1.3-54.1 - Bump release and rebuild. * 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 * 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