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

Format: 3.0 (quilt)
Source: mlgmp
Binary: libgmp-ocaml, libgmp-ocaml-dev
Architecture: any
Version: 20021123-23build3
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:  Ralf Treinen <treinen@debian.org>, Mehdi Dogguy <mehdi@debian.org>
Homepage: http://www-verimag.imag.fr/~monniaux/download/
Standards-Version: 4.7.0
Vcs-Browser: https://salsa.debian.org/ocaml-team/mlgmp
Vcs-Git: https://salsa.debian.org/ocaml-team/mlgmp.git
Build-Depends: ocaml, debhelper-compat (= 13), libgmp3-dev, libmpfr-dev, dh-ocaml
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
 fca68c9e9b0194fb2aa3511f1d0958b59829eb2c 11548 mlgmp_20021123-23build3.debian.tar.xz
Checksums-Sha256:
 77405b56ef582b636f0d3b1a4f632aef1834f548b03ee933d87535bd8ecd8b73 40051 mlgmp_20021123.orig.tar.gz
 11cfc9d126192b5eee3342f8c6cd63c48b1f7b6522bc15860e269c18f351ec1f 11548 mlgmp_20021123-23build3.debian.tar.xz
Files:
 9dce5ff14446efb156695fcde36a9f2e 40051 mlgmp_20021123.orig.tar.gz
 665329fce2a412a2d47ef5ef42e8111c 11548 mlgmp_20021123-23build3.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmhP060ACgkQ808JdE6f
XdllhRAAioUZO0cmwvIbwAs6kTXPhhHmRTUB4cGEtkPYtsrXxoXBfvZ+lNZR5q1p
5QnbTfdcr8QkPV0Drcql5He6N0QsEYI7+RT6D7BJqsRQMqcoQZMyH7N00dkkRb9a
i9n+UayV6l486z/hHhZMFCvjnyunn+9RTzw+Mst3AZEUGEQ8hrJgjNRVhHVYJfG5
+PdJQLayvXfxlCorvlX0rD+pdSRmYg7f/4iiW3u82yfJ/2VmrDkV1xFFsFrGjGxU
jPWHqIre8uljA7cepBFini5W5lTr5Uu2Q3XqAyTTx2x/zu9YmP8Wu8qNf5jg6y08
09JKM2dWVWPsyG0S27mk2yBYLGSKvEdLrm/a6tKrkXnk8Jqa0ZKExS06GzkFpDNO
g40uuYhyBBD/uzPZFpuOGR2x57vi+hoQyLnI485HLLjFvUY5HyI2rexPRCpo+/tC
s3Lg3yyPdoPHW1O+XOUx5qC+F32IiWqCsLNG87QVjbSbj3WSabLL9/1kX3f8utAg
umILHGLxSm8WwcqsMlsz8+u8PjuJl4H/6MJVOJdeAr8oBpXPPX0u5UCCuBwgY7fO
eonkiiOrAQvlQHE5MN6vtYHifsD/VeWqq034C5y/UY5FR9JMv1Uy0RKQWk4mOcXw
imLGYdChbvsXZKyXCnGg4S7lhN23kto1hYMT29+iRL5ZtHxM9RI=
=Wx1F
-----END PGP SIGNATURE-----