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

Format: 3.0 (quilt)
Source: why3
Binary: why3, why3-coq, libwhy3-ocaml-dev, why3-examples, why3-doc-html, why3-doc-pdf
Architecture: any all
Version: 0.87.3-2ubuntu3
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Uploaders: Ralf Treinen <treinen@debian.org>
Homepage: http://why3.lri.fr/
Standards-Version: 3.9.8
Vcs-Browser: https://anonscm.debian.org/cgit/pkg-ocaml-maint/packages/why3.git
Vcs-Git: https://anonscm.debian.org/git/pkg-ocaml-maint/packages/why3.git
Testsuite: autopkgtest
Testsuite-Triggers: alt-ergo, coq, cvc3, spass, z3
Build-Depends: debhelper (>= 9), dh-ocaml, ocaml-nox (>= 3.11.2), menhir, libmenhir-ocaml-dev, libzarith-ocaml-dev, liblablgtk2-ocaml-dev, liblablgtksourceview2-ocaml-dev, libsqlite3-ocaml-dev, libzip-ocaml-dev, libocamlgraph-ocaml-dev, coq, libcoq-ocaml-dev, tex-common
Build-Depends-Indep: rubber, hevea, lmodern, texlive-latex-recommended, texlive-latex-extra, texlive-fonts-recommended
Package-List:
 libwhy3-ocaml-dev deb ocaml optional arch=any
 why3 deb math optional arch=any
 why3-coq deb math optional arch=any
 why3-doc-html deb math optional arch=all
 why3-doc-pdf deb math optional arch=all
 why3-examples deb math optional arch=all
Checksums-Sha1:
 7501ee83ffa8b738f075efbeb0f134c16d7a3c08 4501588 why3_0.87.3.orig.tar.gz
 a9d45f287bb186229da0dc961ef0846cf6e37c61 12860 why3_0.87.3-2ubuntu3.debian.tar.xz
Checksums-Sha256:
 6a8ac5539a65a5e2c63f46e3d8f9f69059b931e261fc4caca879d218b8d9c9ba 4501588 why3_0.87.3.orig.tar.gz
 b04b1c2f201c61f1a7b99ae5e8cadee544295b3796d3835e8a52b1f2db386f5e 12860 why3_0.87.3-2ubuntu3.debian.tar.xz
Files:
 ea24a4877ca09e2ec4fff19d5f4d35c6 4501588 why3_0.87.3.orig.tar.gz
 5e63d90c67f0956f997a8a8db3d55c91 12860 why3_0.87.3-2ubuntu3.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQIcBAEBCAAGBQJZwCjUAAoJEL1+qmB3j6b1MgAP/05tiYmMm60HVI3K8mVDH6l1
9FlJPUoQMpZQ48d+Onjj3mc86ViuvO/LplrB5Lv30IMZ++WUCDuZeTzjz6ayUTQy
y3K/yi0bJKGfij2J+5TCuxTdOajssItSuTmt+kDfjCzPc/ZO6sNo+OLVfBWZjLx/
JuDsFEDlyDOP2qPtnYaQyJcSXyMTFvXjusn4yzcZG9sqDjhnr3hBhybf8AyxNmL9
HD1UX2+dN7mm3NufiaWerZi7FlOcg0Am7FMo0uug+mltN9BjKCv617c8WJ8vgv2W
Xs7u/8CPmV5s3TfvUR/yfned4cdEtv06MdrHdEd3CaxaF7guXCWbZyVgSlXzwIn6
ryEbCxk9nhqKc6Q5nMxrHwNbo0geQbNRdvnVNhI0DcNBJkasiwJ0Vasbrjuolb9O
QWRlouiyl2hyYOXGr6wETrQkracTDriM6yIGMs80WQy169oCAZGYxeaRRwt92PRy
9jScJENE1MNlaXNMpA5/6KFWQPMS04trQZ2Soi4dQaJhux0RTe/jwE99fmBvnMoL
8A5XFgjh0hhaARxWFRrwIIdXCfHHoKpWJceno2WHwGCdtB7aEneW9wthO0yRcfdX
cM07foMVMq6pmDPW3ciH59/loJJc3QWShzo2vkIvp73CGc0NiavuhhHyw2uVdvrV
HQp6nsw/3GiOw1e93VA8
=X/0r
-----END PGP SIGNATURE-----