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

Format: 1.0
Source: mlgmp
Binary: libgmp-ocaml, libgmp-ocaml-dev
Architecture: any
Version: 20021123-17
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~)
Checksums-Sha1: 
 6c8f27b3e46dcf4e4e38d37c26af98e5b1305721 40051 mlgmp_20021123.orig.tar.gz
 0546406137788dfc15822d68bfef1ef132d720ec 8219 mlgmp_20021123-17.diff.gz
Checksums-Sha256: 
 77405b56ef582b636f0d3b1a4f632aef1834f548b03ee933d87535bd8ecd8b73 40051 mlgmp_20021123.orig.tar.gz
 373abbc806b802eba87b5e5158ecac93f56b4411f22c72c299003a1e63cacac3 8219 mlgmp_20021123-17.diff.gz
Files: 
 9dce5ff14446efb156695fcde36a9f2e 40051 mlgmp_20021123.orig.tar.gz
 fdf93509f4e8bd7620677997cf19ff91 8219 mlgmp_20021123-17.diff.gz

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

iQIcBAEBCAAGBQJMCBngAAoJEDO+GgqMLtj/e4wP/23b+WS3JsYT+ULX1TIFTo85
5qMRGyMUVLBB/OZ+zF6LYy33ExLSFuc3f02ayFYlkyqIalBziRWM6yzvWdH9LqyW
jEp1q4ae6sazadFwhHVlxBwYeBlPkUjq70OLOegBqBY1H4fSjP046AizB9WL/945
U/BYz3/w0PysWnE4YfdnzvXX+2oEZUnQ7wxIiDeMQGKvK0wUNWFtBWjpw08G3Rqt
NpIcTa5Cjal1snQB3oOsnWvyVdS6a0gYnlqDVezPMSMisW5vURqOZ/XsawjnDCDi
DLi8vAs/i8xwST0nnNjDQzH/jJ1+Tw9Mbgt7tPw1eE6togKCs9FrTOKYm5gApm2C
kixTT/8VVCQ2me7W5RW1fTWcQ0FKzh6PgdCgvQViKYBSyx1RlpOqynQYzZaswWUg
3UcyBP7rzk2QPA7UCAoeACqZAL32+fjFIjSR/zS+60uv/kn+6fiwnYjeB6DHkb1x
/GWMrZ5hcFfDU7AwVJr6KzqyrYNFo2D4UGFCiVxaXAILYB6NgwZR75aaMoQSTXUU
Le72kLhZFZXmEVak9T7j0lqERJWGkcQzP1Nja5XRgnRLMHAtKzh3eVgbS62XGvMh
7YxEgywsdITfr9DOxBDiqbAqLfOlxUmu0z95X7++Xyk6Qykzr90AI4LcF8y7rpvh
6fppv062PhTKXl5MvVd/
=0g1y
-----END PGP SIGNATURE-----