Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

ocaml-tplib-1.3-40.fc31 RPM for aarch64

From Fedora 31 for aarch64 / o

Name: ocaml-tplib Distribution: Fedora Project
Version: 1.3 Vendor: Fedora Project
Release: 40.fc31 Build date: Tue Sep 10 18:03:00 2019
Group: Unspecified Build host: buildvm-aarch64-18.arm.fedoraproject.org
Size: 658523 Source RPM: ocaml-tplib-1.3-40.fc31.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.

Provides

Requires

License

LGPLv2+

Changelog

* 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
* Fri Feb 01 2019 Fedora Release Engineering <releng@fedoraproject.org> - 1.3-35
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild
* Fri Jul 13 2018 Fedora Release Engineering <releng@fedoraproject.org> - 1.3-34
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
* Wed Jul 11 2018 Richard W.M. Jones <rjones@redhat.com> - 1.3-33
  - OCaml 4.07.0 (final) rebuild.
* Wed Jun 20 2018 Richard W.M. Jones <rjones@redhat.com> - 1.3-32
  - OCaml 4.07.0-rc1 rebuild.
* Thu Feb 08 2018 Fedora Release Engineering <releng@fedoraproject.org> - 1.3-31
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
* Sat Nov 18 2017 Richard W.M. Jones <rjones@redhat.com> - 1.3-30
  - OCaml 4.06.0 rebuild.

Files

/usr/lib/.build-id
/usr/lib/.build-id/27
/usr/lib/.build-id/27/7456e635eaffe06e97d357beaf459258860bab
/usr/lib/.build-id/8a
/usr/lib/.build-id/8a/e72183ad475e01d0bb818bdc2e016da234695b
/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 Mar 10 11:17:24 2020