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

ocaml-tplib-1.3-55.fc33 RPM for armv7hl

From Fedora 33 testing updates for armhfp / Packages / o

Name: ocaml-tplib Distribution: Fedora Project
Version: 1.3 Vendor: Fedora Project
Release: 55.fc33 Build date: Sun Sep 27 05:08:53 2020
Group: Unspecified Build host: buildvm-a32-30.iad2.fedoraproject.org
Size: 390585 Source RPM: ocaml-tplib-1.3-55.fc33.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

* 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
* Fri Feb 01 2019 Fedora Release Engineering <releng@fedoraproject.org> - 1.3-35
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild

Files

/usr/lib/.build-id
/usr/lib/.build-id/86
/usr/lib/.build-id/86/031e99f05c6d4165e9cdfbacadd5ac46f693ae
/usr/lib/.build-id/e1
/usr/lib/.build-id/e1/16c670ec2ed0c355da4c13934cecde885bba02
/usr/lib/ocaml/tplib
/usr/lib/ocaml/tplib/META
/usr/lib/ocaml/tplib/halfspace.cmi
/usr/lib/ocaml/tplib/hypergraph.cmi
/usr/lib/ocaml/tplib/mlgmp_plugin.cmxs
/usr/lib/ocaml/tplib/numeric.cmi
/usr/lib/ocaml/tplib/semiring.cmi
/usr/lib/ocaml/tplib/tplib_abstract.cmi
/usr/lib/ocaml/tplib/tplib_core.cmi
/usr/lib/ocaml/tplib/vector.cmi
/usr/lib/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, Mon May 9 16:36:51 2022