Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
Name: ocaml-tplib | Distribution: Fedora Project |
Version: 1.3 | Vendor: Fedora Project |
Release: 70.fc37 | Build date: Fri Jul 22 03:39:40 2022 |
Group: Unspecified | Build host: buildvm-x86-03.iad2.fedoraproject.org |
Size: 516681 | Source RPM: ocaml-tplib-1.3-70.fc37.src.rpm |
Packager: Fedora Project | |
Url: https://gforge.inria.fr/projects/tplib | |
Summary: Tropical Polyhedra Library |
TPLib 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.
LGPLv2+
* 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
/usr/lib/.build-id /usr/lib/.build-id/46 /usr/lib/.build-id/46/1f243721d90d68ee9e61df63b83d661a58fb6d /usr/lib/.build-id/74 /usr/lib/.build-id/74/e7e4942266da3967e92ef723fa4748f16565ef /usr/lib64/ocaml/tplib /usr/lib64/ocaml/tplib/META /usr/lib64/ocaml/tplib/halfspace.cmi /usr/lib64/ocaml/tplib/hypergraph.cmi /usr/lib64/ocaml/tplib/mlgmp_plugin.cmxs /usr/lib64/ocaml/tplib/numeric.cmi /usr/lib64/ocaml/tplib/semiring.cmi /usr/lib64/ocaml/tplib/tplib_abstract.cmi /usr/lib64/ocaml/tplib/tplib_core.cmi /usr/lib64/ocaml/tplib/vector.cmi /usr/lib64/ocaml/tplib/zarith_plugin.cmxs /usr/share/doc/ocaml-tplib /usr/share/doc/ocaml-tplib/README /usr/share/licenses/ocaml-tplib /usr/share/licenses/ocaml-tplib/LICENSE
Generated by rpm2html 1.8.1
Fabrice Bellet, Tue Apr 9 20:33:48 2024