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

ocaml-tplib-1.3-72.fc38 RPM for x86_64

From Fedora 39 for x86_64 / o

Name: ocaml-tplib Distribution: Fedora Project
Version: 1.3 Vendor: Fedora Project
Release: 72.fc38 Build date: Tue Jan 24 10:34:29 2023
Group: Unspecified Build host: buildhw-x86-06.iad2.fedoraproject.org
Size: 516681 Source RPM: ocaml-tplib-1.3-72.fc38.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 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

Files

/usr/lib/.build-id
/usr/lib/.build-id/02
/usr/lib/.build-id/02/d11d63931da71a83beaeee7820149d97b92350
/usr/lib/.build-id/6e
/usr/lib/.build-id/6e/d78a0a9906846961b11ebced3575f6063b2ee8
/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 Jul 9 21:55:09 2024