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

Format: 3.0 (quilt)
Source: why
Binary: why, why-examples, libwhy-coq
Architecture: any all
Version: 2.34-2ubuntu3
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
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
 eb4bca4ab7de60667eaba43f74f6ae32b85b9a16 10780 why_2.34-2ubuntu3.debian.tar.xz
Checksums-Sha256:
 76f3af8cf3857424852ca76eb87c99ff6089aadc3271da6b829ca84529f9c733 3725831 why_2.34.orig.tar.gz
 7a6ef8ea57f7a4cf9e9c51beb6eb50754b785289738333d6f029560fa4d78383 10780 why_2.34-2ubuntu3.debian.tar.xz
Files:
 1e729c4ecb41892531563d34208d3e52 3725831 why_2.34.orig.tar.gz
 147185a657b9da9e3e44a36a48afa09f 10780 why_2.34-2ubuntu3.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQIcBAEBCgAGBQJV7YpZAAoJEONS1cUcUEHUc1kP/jjeZ8pULPaqraPZFz+TVafu
EYLBydsWVNygONHTV5J8ysnu2P95ucMZfInlw+RqBONzZRUQ0IOEntBxjWzckfA0
4HIFK7A7833z/IT79worzFgZioZVBVSuduVzH4wMnwu6JHflZf58Q48kzuBdCuRE
ZIQeY56US/L1u8sylGUwd5Nwb2aYNJSuRjwlL0L4Yke1G7+QQHw9fb5vfakwDYLe
FwYdFoXodm1u9VPVQvrbZjGdBMGHzaTnwAsZmfc75R1TCYXIQFjqdAI8NZ5n7G9b
DjR/rLASvWvPoHdYxqxxygnzZCP0YOuD/MdxKlOzuepySpiXvnD8vwgkrnyvQsJ+
gcRFrOl5CR5elODFOeY+HAAqzx2q0acRrpsnCys10ycirA8Hmc3X9gC6d9VFTyXl
ZV1FQ+7k5a1e/Ifw7Yi6U0WEciVDlHvF5vrJhBRBfiSWBEArPmorWKRkYrzj77Hm
rup302HuVIfKMDhVG5A4ncl2im7c7YxDOXMpqWzGfCob8oD7GCylI8uQp6WG8vcb
xAjn9a5HuRdKASl7u94Pt6OqAR2CqleXJb1HcOjIUcNCmOiszJq2uo4aGVOiQ3mn
igNhhv2Q10eZ0wsY4M6kHW3t66MoKd31rxnm37kDjUyYrEBdb1VvxIfAxBXcRO7d
L3+UJAKCCs/GfptczSKE
=FEPy
-----END PGP SIGNATURE-----