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:52 2022 |
Group: Unspecified | Build host: buildhw-a64-19.iad2.fedoraproject.org |
Size: 610777 | 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/90 /usr/lib/.build-id/90/4fe2f148a7fd8bf1db393096fc988f25e4252a /usr/lib/.build-id/97 /usr/lib/.build-id/97/8a6f0db9559abb50b58f079ee8fb359c0b05eb /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, Thu May 9 20:22:59 2024