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

Format: 3.0 (quilt)
Source: cduce
Binary: cduce
Architecture: any
Version: 0.6.0-5
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:  Stéphane Glondu <glondu@debian.org>, Pietro Abate <pietro.abate@pps.jussieu.fr>
Homepage: http://www.cduce.org
Standards-Version: 3.9.2
Vcs-Browser: http://anonscm.debian.org/gitweb/?p=pkg-ocaml-maint/packages/cduce.git
Vcs-Git: git://anonscm.debian.org/pkg-ocaml-maint/packages/cduce.git
Build-Depends: debhelper (>= 7.2.11~), dh-ocaml (>= 0.9~), ocaml-nox (>= 3.11.1-3~), ocaml-best-compilers, camlp4-extra, ocaml-source (>= 3.11.0), libpcre-ocaml-dev (>= 6.0.1-2~), libocamlnet-ocaml-dev (>= 2.2.9-7~), libexpat-ocaml-dev (>= 0.9.1+debian1-6~), libcurl-ocaml-dev (>= 0.5.1-2~), ocaml-ulex (>= 1.1-2~), chrpath, bzip2
Package-List:
 cduce deb interpreters optional arch=any
Checksums-Sha1:
 616d65be298a29fb3ecedcfb177662c5ea5f8221 815440 cduce_0.6.0.orig.tar.gz
 99e6d874710b236e631530279964b3de77d34e06 8684 cduce_0.6.0-5.debian.tar.xz
Checksums-Sha256:
 28291cceaa219782f0f4cd4c9634a25bc4238e09bdb0e193b8b207ed7eb650bc 815440 cduce_0.6.0.orig.tar.gz
 426add745d0c824dac9f701f8dd501d036004a4186cfe24be03d8818db9d3409 8684 cduce_0.6.0-5.debian.tar.xz
Files:
 d05eb0b08853de90a252a36e31619270 815440 cduce_0.6.0.orig.tar.gz
 ee63f03e02f14d673e5882b2f70e9c67 8684 cduce_0.6.0-5.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAEBCAAGBQJWemxxAAoJEDO+GgqMLtj/cicP/0YYuGtTsFFBxMPD5xB7aM/P
iUyz36HXNOokwNOsAjdnnqvqneJBjUvMcvK30UNdYrNRS5ynvnZvkBappNeM615l
EUXTyjHGEmxTLY/PVR8MuihVVL12PcVd65+tuF8lVGhsZAyJaAx1ruJ7gqrjCT76
0WM3gSR7uj1umyZBGQvejvZjpnQjb4r2mzqERW9c09a4f4ynrh49QbTQnSnkuI+w
6vT5bpWIkUMAncGVOrgm5l7eBysLmxogFxkAEzn3omudgSp0w3/JLaor/NiTIpk7
kzF3H8GuS039ptvDdBtsmDxdLxogVNimxgg8EE/SBKEyJJd2Qv6e+Dp23mvK3aKP
tzHOOlB0GN31DfCewfB/UTlTUbXBpx3bwtmWsk2CPC7MqoR+7Waga9bXwTz8xHL/
34D2XkZWMia3Ass5k2c6AdsqEn6NUh6gpFlKwiNzmavADy4lcfgb4dq28VwMUMeO
WFzxyiO//gnG6omGGFeNfQC119gPqK4RSbDNnmORi+2rU0hHgyoWBk6JbWRkoUT3
+Q5xrYljpxeMvjABBpRjkDAgkasKijRthQWKM92XZ7jqrt/IWGfRnNOIbwsqMF4q
PM7D8UTCw6XoXXWpoY48ZkjrNlY0Z8ANZcMdGSkonxD9n7vxLAat9+dvVZJT+r3c
zMqFRMVQ4x6eh53TSYjM
=so7K
-----END PGP SIGNATURE-----