ocaml-creal-devel-0.7-6.mga4.i586.rpm


Advertisement

Description

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

Distribution: Mageia 4.1
Repository: Mageia Core i586
Package name: ocaml-creal-devel
Package version: 0.7
Package release: 6.mga4
Package architecture: i586
Package type: rpm
Installed size: 313.98 KB
Download size: 48.94 KB
Official Mirror: distrib-coffee.ipsl.jussieu.fr
The ocaml-creal-devel package contains libraries and signature files for developing applications that use ocaml-creal.

Alternatives

Provides

  • ocaml-creal-devel == 0.7-6.mga4
  • ocaml-creal-devel(x86-32) == 0.7-6.mga4

    Install Howto

    1. Enable Mageia Core repository on "Install and Remove Software"
    2. Update packages list:
      # urpmi.update -a
    3. Install ocaml-creal-devel rpm package:
      # urpmi ocaml-creal-devel

    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

    Changelog

    Advertisement
    Advertisement