Package - libgmp-ocaml-dev

Package:  libgmp-ocaml-dev
apt-get install libgmp-ocaml-dev
Documentations in package:

Primary informations

Download package: http://deb.debian.org/debian/pool/main/m/mlgmp/libgmp-ocaml-dev_20021123-23+b3_amd64.deb (Size: 89.4KiB)

PropertyValue
Packagelibgmp-ocaml-dev
Sourcemlgmp (20021123-23)
Version20021123-23+b3
Installed-Size719
MaintainerDebian OCaml Maintainers
Architectureamd64
Provideslibgmp-ocaml-dev-p5s25
Dependslibgmp-ocaml-p5s25, libstdlib-ocaml-dev-m4xw9, ocaml-5.3.0, libgmp3-dev
Recommendsocaml-findlib
DescriptionOCaml bindings for the GNU multiprecision arithmetic library (dev)
Description-md5db5efd04d37b04aa52f71bd40162ec80
Homepagehttp://www-verimag.imag.fr/~monniaux/download/
Tagdevel::lang:ocaml, devel::library, field::mathematics, implemented-in::ocaml, role::devel-lib
Sectionocaml
Priorityoptional
Filenamepool/main/m/mlgmp/libgmp-ocaml-dev_20021123-23+b3_amd64.deb
Size91496
MD5sum998375b6c41f259229862027f2f1052f
SHA256e1f85011814f0b2475c3ba350651aaa8d2c00ba62e58ac05ad893988c739c32e

Files in package

  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/METAS/META.gmp
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/gmp/gmp.a
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/gmp/gmp.cma
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/gmp/gmp.cmi
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/gmp/gmp.cmxa
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/gmp/gmp.mli
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/gmp/libgmpstub.a
  • /usr/share/doc-base/libgmp-ocaml-dev.doc-base.apiref
  • /usr/share/doc/libgmp-ocaml-dev/changelog.Debian.amd64.gz
  • /usr/share/doc/libgmp-ocaml-dev/changelog.Debian.gz
  • /usr/share/doc/libgmp-ocaml-dev/changelog.gz
  • /usr/share/doc/libgmp-ocaml-dev/copyright
  • /usr/share/doc/libgmp-ocaml-dev/html/api/Gmp.F.html
  • /usr/share/doc/libgmp-ocaml-dev/html/api/Gmp.FR.html
  • /usr/share/doc/libgmp-ocaml-dev/html/api/Gmp.Q.Infixes.html
  • /usr/share/doc/libgmp-ocaml-dev/html/api/Gmp.Q.html
  • /usr/share/doc/libgmp-ocaml-dev/html/api/Gmp.RNG.html
  • /usr/share/doc/libgmp-ocaml-dev/html/api/Gmp.Z.Infixes.html
  • /usr/share/doc/libgmp-ocaml-dev/html/api/Gmp.Z.html
  • /usr/share/doc/libgmp-ocaml-dev/html/api/Gmp.Z2.html
  • /usr/share/doc/libgmp-ocaml-dev/html/api/Gmp.html
  • /usr/share/doc/libgmp-ocaml-dev/html/api/index.html
  • /usr/share/doc/libgmp-ocaml-dev/html/api/index_attributes.html
  • /usr/share/doc/libgmp-ocaml-dev/html/api/index_class_types.html
  • /usr/share/doc/libgmp-ocaml-dev/html/api/index_classes.html
  • /usr/share/doc/libgmp-ocaml-dev/html/api/index_exceptions.html
  • /usr/share/doc/libgmp-ocaml-dev/html/api/index_extensions.html
  • /usr/share/doc/libgmp-ocaml-dev/html/api/index_methods.html
  • /usr/share/doc/libgmp-ocaml-dev/html/api/index_module_types.html
  • /usr/share/doc/libgmp-ocaml-dev/html/api/index_modules.html
  • /usr/share/doc/libgmp-ocaml-dev/html/api/index_types.html
  • /usr/share/doc/libgmp-ocaml-dev/html/api/index_values.html
  • /usr/share/doc/libgmp-ocaml-dev/html/api/style.css
  • /usr/share/doc/libgmp-ocaml-dev/html/api/type_Gmp.F.html
  • /usr/share/doc/libgmp-ocaml-dev/html/api/type_Gmp.FR.html
  • /usr/share/doc/libgmp-ocaml-dev/html/api/type_Gmp.Q.Infixes.html
  • /usr/share/doc/libgmp-ocaml-dev/html/api/type_Gmp.Q.html
  • /usr/share/doc/libgmp-ocaml-dev/html/api/type_Gmp.RNG.html
  • /usr/share/doc/libgmp-ocaml-dev/html/api/type_Gmp.Z.Infixes.html
  • /usr/share/doc/libgmp-ocaml-dev/html/api/type_Gmp.Z.html
  • /usr/share/doc/libgmp-ocaml-dev/html/api/type_Gmp.Z2.html
  • /usr/share/doc/libgmp-ocaml-dev/html/api/type_Gmp.html
  • /var/lib/ocaml/lintian/libgmp-ocaml-dev.info
  • /var/lib/ocaml/md5sums/libgmp-ocaml-dev.md5sums