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

Format: 3.0 (quilt)
Source: why
Binary: why, why-examples, libwhy-coq
Architecture: any all
Version: 2.34-2
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Samuel Mimram <smimram@debian.org>, Mehdi Dogguy <mehdi@debian.org>, Ralf Treinen <treinen@debian.org>
Homepage: http://why.lri.fr/
Standards-Version: 3.9.5
Vcs-Browser: http://anonscm.debian.org/gitweb/?p=pkg-ocaml-maint/packages/why.git
Vcs-Git: git://anonscm.debian.org/pkg-ocaml-maint/packages/why.git
Testsuite: autopkgtest
Build-Depends: debhelper (>= 7.0.50~), autotools-dev, autoconf, dh-ocaml (>= 0.9~), ocaml-nox (>= 3.11.1-3~), ocaml-best-compilers, camlp4, liblablgtk2-ocaml-dev (>= 2.12.0-3~), coq (>= 8.3~), libfloat-coq, libocamlgraph-ocaml-dev (>= 1.4~), frama-c-base (>= 20140301+neon+dfsg), libapron-ocaml-dev (>= 0.9.10-4~), camlidl
Package-List:
 libwhy-coq deb libdevel optional arch=all
 why deb math optional arch=any
 why-examples deb doc optional arch=all
Checksums-Sha1:
 4c1218b32314015819d5d7e3a56b1c51aed16903 3725831 why_2.34.orig.tar.gz
 6c560103327261d0af90f4cca35bf0e87dda40a0 10512 why_2.34-2.debian.tar.xz
Checksums-Sha256:
 76f3af8cf3857424852ca76eb87c99ff6089aadc3271da6b829ca84529f9c733 3725831 why_2.34.orig.tar.gz
 c6d739e10ce451e51c5d4652abd3680d750f664ee39650df68d83842363feb3a 10512 why_2.34-2.debian.tar.xz
Files:
 1e729c4ecb41892531563d34208d3e52 3725831 why_2.34.orig.tar.gz
 ac40985ebd3ebd89a4dd59f46bec4e8f 10512 why_2.34-2.debian.tar.xz

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

iQIcBAEBCgAGBQJT30WPAAoJEHhT2k1JiBrTCZMP/3v1/QKzmtXkLXln5selbkr8
z2wsHXzrNaRZlGXoec43S3KC9PPLbA76K+018WyXVAuKd6F85UtF+RAbVfomV8du
/1H9oOumkJYY6i8Z8OQb4e1uqsRBo1d6FPRmrxmY6HYPn+bcC6iA6bhN5fgXoqWx
9tys9Z7KwL1d7MMcmBTYS7crTFObCahlUqNB77zn8FQa4zq45iTmBm/2DLxuyj7w
Jne0VCSoeUtTDmEHZOf1CtwKZvtIfKzOiG9aNwVpYAS4sELlgrZYFukYdJseIhRp
eqdGFuYlyOhdI6T01hqIXE6YCxRnXzqND0sWs+/H/9DNl/IyjWAJQ8KWUKd/z3yO
I1TWvCsishGVs4am8XhcO9ZhKHm4ok4hAkM5Hv2I2K81aisadNZYQK/2zsmF/+OC
lTVZsGBwB/fvr9fHbo55C49i8eC3iYskVqLy20NrhU2ubOwa0P5XDTK8bMxSOGln
8J+ldXD17ojXgIrOtLls+N547seqah2wgpJJxSESHNoLqIyPRCeJKCpc6MRWprOg
hgxEaCU0iifRxsFi2qPPk2mJNqRpUbveKmlrkYCQfIOABXltUlwtvO3rC7nLNc1b
iO2Zs1Uy7uEnrQInkVuCwqPh753F6o6DUrwlwz2UZSQhxR968BxONPU4h8r9bgvn
pGR0i9+PC9igppDeaEZb
=vqRZ
-----END PGP SIGNATURE-----