ocaml-creal-devel-0.7-16.mga7.i586.rpm


Advertisement

Description

ocaml-creal-devel - Exact real arithmetic for Objective Caml

Property Value
Distribution Mageia 7
Repository Mageia Core i586
Package filename ocaml-creal-devel-0.7-16.mga7.i586.rpm
Package name ocaml-creal-devel
Package version 0.7
Package release 16.mga7
Package architecture i586
Package type rpm
Category Development/OCaml
Homepage http://www.lri.fr/~filliatr/creal.en.html
License LGPLv2
Maintainer -
Download size 66.61 KB
Installed size 348.57 KB
The ocaml-creal-devel package contains libraries and signature files for
developing applications that use ocaml-creal.

Alternatives

Package Version Architecture Repository
ocaml-creal-devel-0.7-16.mga7.x86_64.rpm 0.7 x86_64 Mageia Core
ocaml-creal-devel - - -

Requires

Name Value
gmp-devel -
ocaml-creal = 0.7-16.mga7

Provides

Name Value
ocaml-creal-devel = 0.7-16.mga7
ocaml-creal-devel(x86-32) = 0.7-16.mga7

Download

Type URL
Mirror distrib-coffee.ipsl.jussieu.fr
Binary Package ocaml-creal-devel-0.7-16.mga7.i586.rpm
Source Package ocaml-creal-0.7-16.mga7.src.rpm

Install Howto

  1. Enable the repository in Software Management
  2. Install ocaml-creal-devel rpm package:
    # dnf install ocaml-creal-devel

Files

Path
/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

Changelog

2018-10-23 - tv <tv> 0.7-16.mga7
+ Revision: 1324042
- rebuild with ocaml-4.07.1
2018-10-22 - pterjan <pterjan> 0.7-15.mga7
+ Revision: 1323730
- Rebuild for ocaml 4.07
2018-09-23 - umeabot <umeabot> 0.7-14.mga7
+ Revision: 1299855
- Mageia 7 Mass Rebuild
2017-11-26 - tv <tv> 0.7-13.mga7
+ Revision: 1179495
- rebuild for new ocaml
2017-10-12 - 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
2017-10-05 - daviddavid <daviddavid> 0.7-11.mga7
+ Revision: 1169212
- enable debugging information thus fixing empty debugsourcefiles.list

See Also

Package Description
ocaml-cryptokit-1.11-7.mga7.i586.rpm OCaml library of cryptographic and hash functions
ocaml-cryptokit-devel-1.11-7.mga7.i586.rpm Development files for ocaml-cryptokit
ocaml-csv-1.7-1.mga7.i586.rpm OCaml library for reading and writing CSV files
ocaml-csv-devel-1.7-1.mga7.i586.rpm Development files for ocaml-csv
ocaml-cudf-0.9-7.mga7.i586.rpm CUDF (Common Upgradeability Description Format) OCaml development stuff
ocaml-cudf-devel-0.9-7.mga7.i586.rpm Development files for ocaml-cudf
ocaml-curl-0.8.2-1.mga7.i586.rpm OCaml Curl library (ocurl)
ocaml-curl-devel-0.8.2-1.mga7.i586.rpm Development files for ocaml-curl
ocaml-curses-1.0.4-1.mga7.i586.rpm OCaml bindings for ncurses
ocaml-curses-devel-1.0.4-1.mga7.i586.rpm Development files for ocaml-curses
ocaml-deriving-0.8.1-3.mga7.i586.rpm Deriving functions from type declaration in OCaml
ocaml-deriving-devel-0.8.1-3.mga7.i586.rpm Development files for deriving functions from type declarations
ocaml-doc-4.07.1-2.mga7.noarch.rpm Documentation for OCaml
ocaml-dose3-5.0.1-4.20180821git.5.mga7.i586.rpm Framework for managing distribution packages and their dependencies
ocaml-dose3-devel-5.0.1-4.20180821git.5.mga7.i586.rpm Development files for ocaml-dose3
Advertisement
Advertisement