-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.0 Source: mlgmp Binary: libgmp-ocaml, libgmp-ocaml-dev Architecture: any Version: 20021123-17build3 Maintainer: Debian OCaml Maintainers Uploaders: Ralf Treinen , Sven Luther , Remi Vanicat , Sylvain Le Gall , Mehdi Dogguy , Mike Furr 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 9f3ed67aebcd9c1f289de124a8c626f67a0a4e42 8370 mlgmp_20021123-17build3.diff.gz Checksums-Sha256: 77405b56ef582b636f0d3b1a4f632aef1834f548b03ee933d87535bd8ecd8b73 40051 mlgmp_20021123.orig.tar.gz 5a0cd258b029713dbb909bc179f96d0613b67777815ffe062786bc4adfbcec5f 8370 mlgmp_20021123-17build3.diff.gz Files: 9dce5ff14446efb156695fcde36a9f2e 40051 mlgmp_20021123.orig.tar.gz 5bc9515dacf8bfec20ce54bd5f0329b9 8370 mlgmp_20021123-17build3.diff.gz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.11 (GNU/Linux) Comment: Colin Watson -- Debian developer iQIVAwUBTsbHCDk1h9l9hlALAQhOgg/+NkSmPTA9zNK7lg+F9glm2ykNPSDkXwEb zanBKBoF/wgUXgvRPg8FRDThtuRlc3rY/KmHJ/mdoj0ns5xrg70vFxXZOC3kkakv aDvEWTE8HrfcZzMLo76EhTAHXibOexXm6nLeRAcqM+lCmCjXBCaDXwCMgqgDdUDd PwZfTgExxe5dG/f9MmBCvuYs/bdtIfjWPhfNgTSGJrg9I9EZIp0uS22l07E8gs+I nWJDKNK86+5EtEoDzPJ9TublU5d2/5gzbCO0e2+RP6GM+xa8xlHj/yVNOh48ARBj g4sQuvfORqtg/awNBEQcbj6Yz21QGyQIzJ4p2FuUit29lfWZY5laiQdDIaZyOq+b S+uB9+VjKyltQP+Bs2K6al390zFRHVQOgCxA2NIe/+y5moymDUDzjC4KGQnxuVBf FJESv7u/SbGe9gEL/IsnY5R4d5DksUQUezBIlx1/YpR5FUBGLu3SP5sSmSKDAGlY sOYr9/gvYfexfbpHmImrZhu1qN5urosuFdShvMvrp7E8XF3NU7ryXq4IzPt2x0tN PXUqq2UsrKuHygHRjkiuo1uzg75NU8Lsd+X1wUKhF33AWesuEgCuTt3aFiViIw/p vXMsZncWvehso6a2tpBl6inQXjTkMOMGEKD5ccGKGj5OuWwR2X+YQltMF/YTuZMz iclNyy4+zg8= =8czo -----END PGP SIGNATURE-----