-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: mlgmp
Binary: libgmp-ocaml, libgmp-ocaml-dev
Architecture: any
Version: 20021123-18
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:  Ralf Treinen <treinen@debian.org>, Remi Vanicat <vanicat@debian.org>, Mehdi Dogguy <mehdi@debian.org>, Mike Furr <mfurr@debian.org>
Homepage: http://www-verimag.imag.fr/~monniaux/programmes.html.en
Standards-Version: 3.9.6
Vcs-Browser: http://git.debian.org/?p=pkg-ocaml-maint/packages/perl4caml.git
Vcs-Git: git://git.debian.org/git/pkg-ocaml-maint/packages/mlgmp.git
Build-Depends: ocaml-nox (>= 3.11.1-3~), debhelper (>= 7.0.0), libgmp3-dev, libmpfr-dev, dh-ocaml (>= 0.9~)
Package-List:
 libgmp-ocaml deb ocaml optional arch=any
 libgmp-ocaml-dev deb ocaml optional arch=any
Checksums-Sha1:
 6c8f27b3e46dcf4e4e38d37c26af98e5b1305721 40051 mlgmp_20021123.orig.tar.gz
 7e25a6204c43708083f48506bc09d6f541c843e2 7828 mlgmp_20021123-18.debian.tar.xz
Checksums-Sha256:
 77405b56ef582b636f0d3b1a4f632aef1834f548b03ee933d87535bd8ecd8b73 40051 mlgmp_20021123.orig.tar.gz
 7277b583c4d025be7bc33c59df820a72bec92870c13ec1a5589b28fa0dafb7f3 7828 mlgmp_20021123-18.debian.tar.xz
Files:
 9dce5ff14446efb156695fcde36a9f2e 40051 mlgmp_20021123.orig.tar.gz
 1233d8a56dca25cd70498e876b32a637 7828 mlgmp_20021123-18.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAEBCAAGBQJVyzg+AAoJEHRcR2bUys3/5gEQAJlWHCwW4Il9QkDZrbtYtMDK
FAzX5Fa1iC7XOxDsP1Fqm5AbLD3o4X9oNMNUEPDOn6J21otSMNRHyNIU2FIzs46O
LzLHcp6qrDSD3V6DPe5o2RSo22+cGNWrHJhPgBNotz8dGkgvmSY9z7wW37YfBU0j
qZxb+7W3lcr7AaNGTWO/3B9Ag/Cbknr0EliWd8yKlA+JmsM6IW06WyCldbM7CDoF
uJxrlRK98vbhs+ERjdbm0DpalRnPsZ2Zmw6AKLDJ7rwDoAcYrDDXoJIzxJmL7+zB
9lQRA0+fwsjHNUEAIeBMU9KoljUCp01tZ0JCjnf20I7d1anBslVOZYtxp8EAg1Hz
RG+kwA3FfsFA5Z9byW4gDJp9KI1rSR1uf5IVH3zVYtTZFZjRxx3krTm7Sz0WGYAd
pnyF5pNuCsq9v0pDz1ztKURzVXymmsP3Rr0wgsQBdPUtRWqW7lZ8MiIuMgdGIcRq
62hioo1DNMB6TwqzU7MLPP+bHLbiW+QNnhOd6ZgPlU7MQEkQ61xH1pGWIczg7nMS
oypV+d6dD85Q49p1v7KQ5EJfJABa3xUOpZGgZqddBX7yCEj84IanlI1sEkCrvA3/
NxzU9XQSXyL2/p4xI1ObDyUDMerKHclEygFcfJP4YmvLalFfQzoV6tTZxdiWfvpz
wI9wuC+ejNb2ztXef0kW
=/J/W
-----END PGP SIGNATURE-----