libgmp-ocaml-dev_20021123-19+b1_i386.deb


Advertisement

Description

libgmp-ocaml-dev - OCaml bindings for the GNU multiprecision arithmetic library

Property Value
Distribution Debian Sid
Repository Debian Main i386
Package name libgmp-ocaml-dev
Package version 20021123
Package release 19+b1
Package architecture i386
Package type deb
Installed size 699 B
Download size 74.71 KB
Official Mirror ftp.br.debian.org
Description -

Alternatives

Package Version Architecture Repository
libgmp-ocaml-dev_20021123-19+b1_amd64.deb 20021123 amd64 Debian Main
libgmp-ocaml-dev - - -

Requires

Name Value
libgmp-ocaml-scq05 -
libgmp3-dev -
ocaml-nox-4.05.0 -

Provides

Name Value
libgmp-ocaml-dev-scq05 -

Download

Type URL
Binary Package libgmp-ocaml-dev_20021123-19+b1_i386.deb
Source Package mlgmp

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install libgmp-ocaml-dev deb package:
    # sudo apt-get install libgmp-ocaml-dev

Files

Path
/usr/lib/ocaml/METAS/META.gmp
/usr/lib/ocaml/gmp/gmp.a
/usr/lib/ocaml/gmp/gmp.cma
/usr/lib/ocaml/gmp/gmp.cmi
/usr/lib/ocaml/gmp/gmp.cmxa
/usr/lib/ocaml/gmp/gmp.mli
/usr/lib/ocaml/gmp/libgmpstub.a
/usr/share/doc-base/libgmp-ocaml-dev.doc-base.apiref
/usr/share/doc/libgmp-ocaml-dev/changelog.Debian.gz
/usr/share/doc/libgmp-ocaml-dev/changelog.Debian.i386.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

Changelog

2017-07-17 - St├ęphane Glondu <glondu@debian.org>
mlgmp (20021123-19) unstable; urgency=medium
[ St├ęphane Glondu ]
* Team upload
* Bump debhelper compat to 10
* Update Vcs-*
[ Dimitri John Ledkov ]
* Update extern declarations for [de]serialize functions to match ocaml
4.04 definitions.
2015-08-12 - Ralf Treinen <treinen@debian.org>
mlgmp (20021123-18) unstable; urgency=low
[ Sylvain Le Gall ]
* Remove Sylvain Le Gall from uploaders
[ Ralf Treinen ]
* Remove Sven Luther from uploaders (closes: #677755)
* Standards-Vesion 3.9.6 (no change)
* Convert to source format 3.0 (quilt):
- update source/format
- drop build-dependency on dpatch
- convert patches in debian/patches from dpatch to quilt
- drop explicit patching in debian/rules
* Simplify debian/rules: use dh overrides
2010-06-03 - Mehdi Dogguy <mehdi@debian.org>
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).
2009-10-06 - Mehdi Dogguy <mehdi@debian.org>
mlgmp (20021123-16) unstable; urgency=low
[ Sylvain Le Gall ]
* Switch to dh-ocaml 0.9
* Use ocaml:Depends/Provides in debian/control
* Use debian/libgmp-ocaml-dev.ocamldoc to generate documentation
(Closes: #549844)
* Move .../gmp/META to .../METAS/META.gmp since this is a debian
specific META
[ Mehdi Dogguy ]
* Update my e-mail address
2009-06-24 - Mehdi Dogguy <dogguy@pps.jussieu.fr>
mlgmp (20021123-15) unstable; urgency=low
* Use new Ocaml's stdlib location
* Move library packages to the new ocaml section
* Add myself to uploaders
* Bump standards to 3.8.2
* Add a README.source
* Generate documentation
* Register documentation with docbase
* Add a watch file
2009-02-27 - Mike Furr <mfurr@debian.org>
mlgmp (20021123-14) unstable; urgency=low
[ Mike Furr ]
* Changed packaging to git and updated VCS field
* Changed Maintainer to d-o-m, added self to uploaders
* Chnaged compat file to 7
* Bump standards to 3.8.0
* Cleaned up rules file and added build-dep on dh-ocaml
* Changed *.in to use new substitutation vars
* Added Homepage
* Install the .so file directly into the proper package tree via the
makefile, instead of moving it there manually in rules
[ Sylvain Le Gall ]
* Update my email address
2008-03-02 - Stefano Zacchiroli <zack@debian.org>
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 urgency to medium for the OCaml 3.10.1 transition
[ Stephane Glondu ]
* Fix binNMU safety (Closes: #464312)
* Fix OCaml spelling in description
* Fix copyright file
* Use ${binary:Version} instead of deprecated ${Source-Version} in
debian/control
* Add Section:libs for source package
* Add descriptions to patches
* Fix lintian debian-rules-ignores-make-clean-error
* Removing empty stublibs directory from -dev package
* Update Standards-Version to 3.7.3
2007-09-07 - Mike Furr <mfurr@debian.org>
mlgmp (20021123-12) unstable; urgency=low
* Rebuild with 3.10.0 (Closes: #441187)
2006-06-07 - Ralf Treinen <treinen@debian.org>
mlgmp (20021123-11) unstable; urgency=low
* Standards-Version 3.7.2 (no change)
* Rebuild with Ocaml 3.09.2 (closes: Bug#369711)
* Package description: replaced "O'Caml" by "OCaml"
* debian/rules: changed name of the target "transition" into "debian/control"
2006-01-07 - Mike Furr <mfurr@debian.org>
mlgmp (20021123-10) unstable; urgency=low
* Remove hard-coded ABI version
* Rebuild with 3.09.1

See Also

Package Description
libgmp-ocaml_20021123-19+b1_i386.deb OCaml bindings for the GNU multiprecision arithmetic library
libgmp10-doc_6.1.2+dfsg-3_all.deb Multiprecision arithmetic library example code
libgmp10_6.1.2+dfsg-3_i386.deb Multiprecision arithmetic library
libgmp3-dev_6.1.2+dfsg-3_i386.deb Multiprecision arithmetic library developers tools
libgmpada6_1.2-2_i386.deb Ada binding to the GNU MultiPrecision library: shared library
libgmpada8-dev_1.2-2_i386.deb Ada binding to the GNU MultiPrecision library: development
libgmpxx4ldbl_6.1.2+dfsg-3_i386.deb Multiprecision arithmetic library (C++ bindings)
libgmsh-dev_3.0.6+dfsg1-3_i386.deb Three-dimensional finite element mesh generator development files
libgmsh3_3.0.6+dfsg1-3_i386.deb Three-dimensional finite element mesh generator shared library
libgmt-dev_5.4.4+dfsg-3_i386.deb Generic Mapping Tools Library - Development files
libgmt5_5.4.4+dfsg-3_i386.deb Generic Mapping Tools Library
libgnat-5-alpha-cross_5.5.0-10cross3_all.deb runtime for applications compiled with GNAT (shared library)
libgnat-5-arm64-cross_5.5.0-10cross1_all.deb runtime for applications compiled with GNAT (shared library)
libgnat-5-armel-cross_5.5.0-10cross1_all.deb runtime for applications compiled with GNAT (shared library)
libgnat-5-armhf-cross_5.5.0-10cross1_all.deb runtime for applications compiled with GNAT (shared library)
Advertisement
Advertisement