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

libgmp-ocaml

OCaml bindings for the GNU multiprecision arithmetic library

Variants:
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.

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

Homepage:-
Package version:20021123-13+b1
Architecture:i386
Distribution:Debian
Filename:libgmp-ocaml_20021123-13+b1_i386.deb

/usr/share/doc/libgmp-ocaml/README

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
(http://www-calfor.lip6.fr/~vmm/)

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

/usr/share/doc/libgmp-ocaml/README.Debian

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 <mfurr@debian.org>, Fri Apr  9 22:20:43 2004

/usr/share/doc/libgmp-ocaml/changelog.Debian.gz

mlgmp (20021123-13+b1) unstable; urgency=low

  * Binary-only non-maintainer upload for i386; no source changes.
  * Rebuild with ocaml 3.10.2

 -- Debian/i386 Build Daemon <buildd_i386-ninsei>  Thu, 22 May 2008 12:01:06 -0700

mlgmp (20021123-13) unstable; urgency=medium

  [ Stefano Zacchiroli ]
  * fix vcs-svn field to point just above the debian/ dir
  * fix typo in Sylvain's name
  * bump urg
more»

/usr/share/doc/libgmp-ocaml/changelog.gz

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

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

/usr/share/doc/libgmp-ocaml/copyright

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

It 
more»

Browse inside libgmp-ocaml_20021123-13+b1_i386.deb

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

Download libgmp-ocaml_20021123-13+b1_i386.deb

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