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

Format: 3.0 (quilt)
Source: mlgmp
Binary: libgmp-ocaml, libgmp-ocaml-dev
Architecture: any
Version: 20021123-20build1
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Uploaders:  Ralf Treinen <treinen@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://salsa.debian.org/ocaml-team/mlgmp
Vcs-Git: https://salsa.debian.org/ocaml-team/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
 d9d5e3cebf87e589a2d51895c7bb06c18d5125d3 8868 mlgmp_20021123-20build1.debian.tar.xz
Checksums-Sha256:
 77405b56ef582b636f0d3b1a4f632aef1834f548b03ee933d87535bd8ecd8b73 40051 mlgmp_20021123.orig.tar.gz
 2bd36b407174c9aa2722c144650c3731ced1a5410c4d921eb396a6d89fe27af7 8868 mlgmp_20021123-20build1.debian.tar.xz
Files:
 9dce5ff14446efb156695fcde36a9f2e 40051 mlgmp_20021123.orig.tar.gz
 9a665566a17ad49959e38aad48e42548 8868 mlgmp_20021123-20build1.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQIzBAEBCgAdFiEE7iQKBSojGtiSWEHXm47ISdXvcO0FAl5PC6kACgkQm47ISdXv
cO2XJhAAnbGdu/pWW9ajz8cU2IF/BlUVEe8n2p9mIp1987VxIeibWPi9K4hyJz2S
A1xC084qq8jM4VkTfo+it1t4O818BKmfkYkzzPjBQeCJfWQTOLjoBqGyF1BNDCSO
qUcQ6UlpcwpkgcG9s2hG4wJRlUU+ag6Z7NTg9dnZpkOqrvEUWK0RfJ27Wqxb5VUX
Q9530t5Wz6n98vX2yD8/MmLxNiqwPQ4rQwiqNuPcwUTWP9Ml6Zzj6WkHibuMtCxl
y20UHHXBi1m3oCZZ1h5aj27KC4SvsBLwNA3dZUqOSFKlLSpbiMCNRq3z1qZtXJsO
jdBmBRbQ4bEwzdMJO5Vr/R99bj2o72vaYbf93E8Y0Zoc9f/4xYEANdvy5Hdny+rT
85eUof2rCHznGRPCI8XeLOZJpo7QThCAMkU5g0zrAaa+aVYIlFFdpIRyQxemORrn
19IPp7yVA6Lbd+fJsQs2ru6wRteg27jSIT3Xc/H4GCRwcrKBxTTyqujKF7SlwTHc
olvQ96KJfWEBa0nMo3B0J4MgL8uE6MTXlKTBdox7WhjrR7UD6s3RAv0CZag6mCxz
dMy4yGiesi9jF/4wPL/WrEBUt77yZeHoUSVnzb2T7++FGB6ijJvf2Z4Hyqy8gvIr
Ioa6Wn0Y9znDgYGHIiTNWbjDVDCj5ChZIsxMzVIxzYUO5eCgamI=
=YO5c
-----END PGP SIGNATURE-----