Filewatcher File Search File Search
Content Search
» » » » »


OCaml bindings for the GNU multiprecision arithmetic library

This package provides bindings for the GNU multiprecision library (GNU MP) for the language OCaml ( 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.

This package provides the shared library for running applications linked against libgmp-ocaml

Package version:20021123-17


This directory contains two separate programs:

*** Creal v0.1
Copyright (C) 2000 Jean-Christophe Filli�tre.

This module consists in the files containing the name "creal" and
carrying J.C. Filli�tre's copyright.

Most algorithms are from Val�rie M�nissier-Morain Ph.D. thesis

This program is free software; you can redistribute it and/or modify
it under the terms 


mlgmp for Debian

Note that this original source package contains creal v0.1 which is
not built since creal v0.4 is packaged as a separate entity.

 -- Mike Furr <>, Fri Apr  9 22:20:43 2004


mlgmp (20021123-17) unstable; urgency=low

  * debian/patches/20_mlgmp_z.dpatch: fix wrong conversion from int on
    64 bits computers (Closes: #573978).
  * Bump ocaml-nox version to (>= 3.11.1-3~) and dh-ocaml to (>= 0.9~).
  * Bump standards to 3.8.4, no changes needed.
  * Remove Zack from Uploaders (on his request).
  * Add debian/source/format (keep 1.0 for now).

 -- Mehdi Dogguy <mehdi@de


2002-11-23    <david@picsou.chatons>

	* Replaced -ggdb by -g - MacOS X.2 gcc does not generate prop


This package was debianized by Mike Furr <> on
Fri,  9 Apr 2004 02:05:56 -0400.


Browse inside libgmp-ocaml_20021123-17_s390x.deb

         [DIR]DEBIAN/ (2)  65535+ mirrors
         [DIR]usr/ (2)  65535+ mirrors

Download libgmp-ocaml_20021123-17_s390x.deb

Results 1 - 1 of 1
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2017