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-12.mga7 RPM for i586

From Mageia Cauldron for i586 / media / core / release

Name: ocaml-creal-devel Distribution: Mageia
Version: 0.7 Vendor: Mageia.Org
Release: 12.mga7 Build date: Thu Oct 12 08:44:48 2017
Group: Development/OCaml Build host: localhost
Size: 328975 Source RPM: ocaml-creal-0.7-12.mga7.src.rpm
Packager: daviddavid <daviddavid>
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

* Thu Oct 12 2017 daviddavid <daviddavid> 0.7-12.mga7
  + Revision: 1171142
  - patch0: use standard ISO C99 types {,u}int{32,64}_t
  - fix invalid utf-8 encoding in Description
* Thu Oct 05 2017 daviddavid <daviddavid> 0.7-11.mga7
  + Revision: 1169212
  - enable debugging information thus fixing empty debugsourcefiles.list
* Mon Sep 26 2016 pterjan <pterjan> 0.7-10.mga6
  + Revision: 1056313
  - Rebuild for fix in ocaml
* Fri Feb 12 2016 umeabot <umeabot> 0.7-9.mga6
  + Revision: 956317
  - Mageia 6 Mass Rebuild
* Wed Oct 15 2014 umeabot <umeabot> 0.7-8.mga5
  + Revision: 747921
  - Second Mageia 5 Mass Rebuild

Files

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


Generated by rpm2html 1.8.1

Fabrice Bellet, Mon Oct 16 11:28:55 2017