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

ocaml-creal-devel-0.7-20.mga8 RPM for aarch64

From Mageia 8 for aarch64 / media / core / release

Name: ocaml-creal-devel Distribution: Mageia
Version: 0.7 Vendor: Mageia.Org
Release: 20.mga8 Build date: Fri Aug 21 18:53:56 2020
Group: Development/OCaml Build host: localhost
Size: 1526372 Source RPM: ocaml-creal-0.7-20.mga8.src.rpm
Packager: pterjan <pterjan>
Url: http://www.lri.fr/~filliatr/creal.en.html
Summary: Exact real arithmetic for Objective Caml
The ocaml-creal-devel package contains libraries and signature files for
developing applications that use ocaml-creal.

Provides

Requires

License

LGPLv2

Changelog

* Fri Aug 21 2020 pterjan <pterjan> 0.7-20.mga8
  + Revision: 1617692
  - Add Debian patch to fix build with GCC 10
  + umeabot <umeabot>
  - Rebuild for new ocaml deps generator
* Fri Feb 28 2020 umeabot <umeabot> 0.7-19.mga8
  + Revision: 1551137
  - Rebuild for ocaml 4.10.0 final
* Thu Feb 20 2020 umeabot <umeabot> 0.7-18.mga8
  + Revision: 1545289
  - Mageia 8 Mass Rebuild
* Tue Jan 28 2020 tv <tv> 0.7-17.mga8
  + Revision: 1484332
  - rebuild for ocaml-4.10
  + wally <wally>
  - replace deprecated %configure2_5x
* Tue Oct 23 2018 tv <tv> 0.7-16.mga7
  + Revision: 1324042
  - rebuild with ocaml-4.07.1
* Mon Oct 22 2018 pterjan <pterjan> 0.7-15.mga7
  + Revision: 1323730
  - Rebuild for ocaml 4.07
* Sun Sep 23 2018 umeabot <umeabot> 0.7-14.mga7
  + Revision: 1299855
  - Mageia 7 Mass Rebuild

Files

/usr/lib64/ocaml/creal/cr.mli
/usr/lib64/ocaml/creal/creal.a
/usr/lib64/ocaml/creal/creal.cmxa
/usr/lib64/ocaml/creal/creal.mli
/usr/lib64/ocaml/creal/gmp.a
/usr/lib64/ocaml/creal/gmp.cmxa
/usr/lib64/ocaml/creal/gmp.mli
/usr/lib64/ocaml/creal/libcreal.a
/usr/lib64/ocaml/creal/libmlgmp.a


Generated by rpm2html 1.8.1

Fabrice Bellet, Sat Mar 9 15:06:39 2024