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

Format: 3.0 (quilt)
Source: why
Binary: why, why-examples
Architecture: any all
Version: 2.34-4ubuntu4
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~), libocamlgraph-ocaml-dev (>= 1.4~), frama-c-base (>= 20140301+neon+dfsg), libapron-ocaml-dev (>= 0.9.10-4~), camlidl
Package-List:
 why deb math optional arch=any
 why-examples deb doc optional arch=all
Checksums-Sha1:
 4c1218b32314015819d5d7e3a56b1c51aed16903 3725831 why_2.34.orig.tar.gz
 2c4e0d96500f92210bd8972c50fe1cc1a0667370 11396 why_2.34-4ubuntu4.debian.tar.xz
Checksums-Sha256:
 76f3af8cf3857424852ca76eb87c99ff6089aadc3271da6b829ca84529f9c733 3725831 why_2.34.orig.tar.gz
 9be813fe4354285f4c3f92ccc3aac33c721d46b453fb259310ca66c317df4557 11396 why_2.34-4ubuntu4.debian.tar.xz
Files:
 1e729c4ecb41892531563d34208d3e52 3725831 why_2.34.orig.tar.gz
 8ba7ea87bde74105febc64f9ef2e31c0 11396 why_2.34-4ubuntu4.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2

iQIcBAEBCAAGBQJWzI83AAoJEL1+qmB3j6b1SlwQAKRLbvBqFQN1Hp6Gom9tUuE6
0hz1XI4Y/XoShHtP74qqHFsVQPsewNg6G1pzsJ+UdLSVsezVsrYPK5aEy0MxVumS
44SpC3PGczYy5XTenGOrt7WssqdVyy82V5tyHys7vzREeIz7mbToWZi7Uej8XI93
yB3AOcxqFBtRUBGQ5Faa0kXppgCh2nlUYYMLaQp/aZ0y4LEN4cLLa+dKYwu6KP+V
32mZwfdqyT80HuXXVW0FLbGIoMLz/0TW69dpDtnwsM1cLC11lbMTgVJFTEkIXj2A
moLunbkgyiWqktGRqV+kDThEsFdWzhzm+JiNm2AaG+uS45woL7srbjigjLRWOqlq
bLZ793WaS/LBof7IrVlcQ9yn+oJdXf/eaQ5Qb6vFsbWCjMnCWSxAUFKM7UHshPJf
RU1i07NMhObJEAbgic4eMHSoLqM7bRcD8JRNvd1/T8f0SIWoRDAoWPX//zS5PzNI
8l29HjFN7SoL+O5PjTsWEvYPzv3TbwiJhJ5WRVE+nRCLcFgRivo2VOyFO3G+t5kB
hWYVbET33bYeKxNmmeQCF1VPAt/EQxpox5ZATzpU6iyx8FrdLoS8yVtroLZYZfbb
uC7kZTFVRnLwBsrg6rZG4zeK3oolMwI4ViRkj8yQe4EO/pfX2LeMf4t89pNOt56c
wUOohbq07Y4adqQrS+F7
=qOqK
-----END PGP SIGNATURE-----