ocaml-mlgmp - OCaml bindings for the GNU multiprecision arithmetic library

Property Value
Distribution ROSA 2016.1
Repository ROSA Contrib i586
Package filename ocaml-mlgmp-0.13-7-rosa2016.1.i586.rpm
Package name ocaml-mlgmp
Package version 0.13
Package release 7-rosa2016.1
Package architecture i586
Package type rpm
Category Development/OCaml
Homepage http://www-verimag.imag.fr/~monniaux/programmes.html.en
License LGPLv2.1+ + linking exception
Maintainer -
Download size 52.67 KB
Installed size 201.91 KB
This package provides bindings for the GNU multiprecision library
(GNU MP) for the language OCaml (caml.inria.fr).
It is mostly a 1-1 mapping of the C functions into the OCaml namespace,
but also includes some infix operators to make for a cleaner syntax.


Package Version Architecture Repository
ocaml-mlgmp-0.13-7-rosa2016.1.x86_64.rpm 0.13 x86_64 ROSA Contrib
ocaml-mlgmp - - -


Name Value
libc.so.6 -
libc.so.6(GLIBC_2.0) -
libc.so.6(GLIBC_2.1.3) -
libgmp.so.10 -


Name Value
dllgmpstub.so -
ocaml-mlgmp == 0.13-7:2016.1


Type URL
Mirror mirror.rosalab.ru
Binary Package ocaml-mlgmp-0.13-7-rosa2016.1.i586.rpm
Source Package ocaml-mlgmp-0.13-7.src.rpm

Install Howto

  1. Enable ROSA Contrib repository on Install and Remove Software
  2. Update packages list:
    # urpmi.update -a
  3. Install ocaml-mlgmp rpm package:
    # urpmi ocaml-mlgmp




2017-02-17 - Andrey Bondrov <andrey.bondrov@rosalab.ru> 0.13-7
- (b84b6e2) MassBuild#1257: Increase release tag

See Also

Package Description
ocaml-mlgmp-devel-0.13-7-rosa2016.1.i586.rpm Development files for ocaml-mlgmp
ocaml-newt-0.9-7-rosa2016.1.i586.rpm OCaml library for using newt text mode window system
ocaml-newt-devel-0.9-7-rosa2016.1.i586.rpm Development files for ocaml-newt
ocaml-ocamlagrep-1.0-6-rosa2016.1.i586.rpm String searching with errors for OCaml
ocaml-ocamlagrep-devel-1.0-6-rosa2016.1.i586.rpm Development files for ocaml-ocamlagrep
ocaml-ocamlgraph-1.8.2-7-rosa2016.1.i586.rpm OCaml library for arc and node graphs
ocaml-ocamlgraph-devel-1.8.2-7-rosa2016.1.i586.rpm Development files for ocaml-ocamlgraph
ocaml-ocamlgsl-0.6.0-7-rosa2016.1.i586.rpm GNU Scientific Library (GSL) for OCaml
ocaml-ocamlgsl-devel-0.6.0-7-rosa2016.1.i586.rpm Development files for ocaml-ocamlgsl
ocaml-ocamlnet-3.7.5-4-rosa2016.1.i586.rpm OCaml internet protocols and conventions
ocaml-ocamlnet-devel-3.7.5-4-rosa2016.1.i586.rpm Development files for ocaml-ocamlnet
ocaml-ocamlnet-nethttpd-3.7.5-4-rosa2016.1.i586.rpm Ocamlnet HTTP daemon
ocaml-ocamlnet-nethttpd-devel-3.7.5-4-rosa2016.1.i586.rpm Development files for ocaml-ocamlnet-nethttpd
ocaml-ode-0.5r4-7-rosa2016.1.i586.rpm OCaml bindings to the Open Dynamics Engine (ODE)
ocaml-ode-devel-0.5r4-7-rosa2016.1.i586.rpm Development files for ocaml-ode