-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.0
Source: mlgmp
Binary: libgmp-ocaml, libgmp-ocaml-dev
Architecture: any
Version: 20021123-17+build1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:  Ralf Treinen <treinen@debian.org>, Sven Luther <luther@debian.org>, Remi Vanicat <vanicat@debian.org>, Sylvain Le Gall <gildor@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.8.4
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), dpatch, libgmp3-dev, libmpfr-dev, dh-ocaml (>= 0.9~)
Package-List: 
 libgmp-ocaml deb ocaml optional
 libgmp-ocaml-dev deb ocaml optional
Checksums-Sha1: 
 6c8f27b3e46dcf4e4e38d37c26af98e5b1305721 40051 mlgmp_20021123.orig.tar.gz
 19a21a1da1189bd3a1a42c45e3a6f207d770a567 8341 mlgmp_20021123-17+build1.diff.gz
Checksums-Sha256: 
 77405b56ef582b636f0d3b1a4f632aef1834f548b03ee933d87535bd8ecd8b73 40051 mlgmp_20021123.orig.tar.gz
 00323d11ddc92fd97ecd548682f66481298f64fcd08815288d8889fe27e40639 8341 mlgmp_20021123-17+build1.diff.gz
Files: 
 9dce5ff14446efb156695fcde36a9f2e 40051 mlgmp_20021123.orig.tar.gz
 cab5171c2027d37343fa0b10c93d8579 8341 mlgmp_20021123-17+build1.diff.gz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)

iQIcBAEBCgAGBQJS8SffAAoJEIxPDyvAFXjJ4xYP/3UzHhPLTVAv/Du1wbu8sUpq
qUYQpBD9hkzeRRyJv13xzs8Fp1iiCmBq6NA3OSq8nS19shNlWvmC1HGAtUbVY+0w
CLBWerAcgU3bZO+2qP91RWSc8C91//tuSn8mqdDr5KNi8n0hhB7TNXhvfVWd7a2I
dh2Z5BIQY7XPQBqOHpG4eoddkSQ9LTTh7hAT/zqBHxGgFvfkJs7TaTZ7TxgDspUe
TGUR9ycceZAbcP5SdFTWf8BWBBCM/4fwAgx1oix/eXilL47mCqovloeEpzkCd0we
BmtRWmR8kA2n+ZjWXUpLwOc1yotWCwXVLVXthJRV4D5cZwoyIB11+Z1JQKgmpTbA
RhGl+qF1YI03YXiLzM4P3UzQLg4MYv7BTRox8R0OMzMTjydmeGN4PRMwKCbsLaRx
1p20VLv13+DCXEd280ndKHlHieenVr8L1xKlkb/oHwEVcjVxnzUtaMv5IPZ0JJsY
OmpmovWO9UMnU5C9QgJhQDWVrnyxo5ZbKQPmto112RF9P9Fw0G8SSBoYF457mfqY
9hkHhDeL6ponuVsmZEpvtAHCJ4U0epq/QHbtIimAXV/lUSrcFG8wQP8FqrB4mF+c
UsKkA4T6P/RS1ST2kO4+kdHcThjRpoYSyjgrTotKoQ7ArbwSrSi5OKSm+aIkTPrd
eMUKlktE2Y48noQCIqXJ
=rOpz
-----END PGP SIGNATURE-----