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

Format: 3.0 (quilt)
Source: mlgmp
Binary: libgmp-ocaml, libgmp-ocaml-dev
Architecture: any
Version: 20021123-19
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: https://anonscm.debian.org/git/pkg-ocaml-maint/packages/mlgmp.git
Vcs-Git: https://anonscm.debian.org/git/pkg-ocaml-maint/packages/mlgmp.git
Build-Depends: ocaml-nox (>= 3.11.1-3~), debhelper (>= 10), 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
 a35d067623bc59c56c78b9ce2f0368afa33daba5 8508 mlgmp_20021123-19.debian.tar.xz
Checksums-Sha256:
 77405b56ef582b636f0d3b1a4f632aef1834f548b03ee933d87535bd8ecd8b73 40051 mlgmp_20021123.orig.tar.gz
 426810a4d8fdeed4b296b1dc6d16b4437ec72dd2ea86a08fc99d844af79d0aa5 8508 mlgmp_20021123-19.debian.tar.xz
Files:
 9dce5ff14446efb156695fcde36a9f2e 40051 mlgmp_20021123.orig.tar.gz
 a895824214e74c3d3ffa9eb7f47f7f4a 8508 mlgmp_20021123-19.debian.tar.xz

-----BEGIN PGP SIGNATURE-----

iQIzBAEBCgAdFiEEWOsJmcZOiX7olLgDeFPaTUmIGtMFAllsdJMACgkQeFPaTUmI
GtMIAA//Qq8F8+hB0WUBLOWi20UkqVH05iza66y7uCdDjffY0MqXW0Y3/Efv8cDP
MBAvl38wiLJBvKHc0m6FjqkvbDrsF5vI73MsjD2d8GaEkSMUHz5sU0X217K+QpaH
srjnvjOtc1Y5tKVF8wDyJG5wwtYLWCYS5TspBIKefLe9Va5Av012mm3JdLniqBQV
oVPPKq1IvC5Mu9k5USHq6umwwR6HF8blu/ij2JIG0YdJrqi/lDg5BvWDpoXRsal7
Ldnkg7S/4LyQy1NLAfB4M/bleO5drFArhAR0jP9V1ce0Y+6X8NgnM+UReSTlTCdb
nRy/zq+9PAK9Ep/+hgpinxr1xPGlvAMjUryVnytvjvaaG++KJT+/6GP+PpEnU7bL
XgG2Ner0LcCLpYlvZK0/l/bfxXNEN1oTCZ/iUgT0sIc16PSjkTJZbRYr8vm9b5At
i02+ItSCoG6QhCL6Zt8GOL0dsjZ1Yk8fh6Uexa78BXfJF/k3TzM9Ooqtgr8C6GGi
RXyG1+vff4NkwbhcPy58To5kldEdvoiS/+GdvkdluiBqYtcX6qz39ACqbSLMZIrh
pi/40sMCvfNARUDr18E5/psDKM3MPsXxzpqPrU3CAmNRRc2hURaen9g8k3JItQCe
+YZeOXGRsp2mUOAx67/23Di01mlEzlsCPyTYc3VVYyKJFTEu5vg=
=Q3vm
-----END PGP SIGNATURE-----