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

Format: 3.0 (quilt)
Source: why
Binary: why, why-examples
Architecture: any all
Version: 2.34-4ubuntu5
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~), 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
 d9b3a68317439d97d3267fa088fea272bc323e0f 11516 why_2.34-4ubuntu5.debian.tar.xz
Checksums-Sha256:
 76f3af8cf3857424852ca76eb87c99ff6089aadc3271da6b829ca84529f9c733 3725831 why_2.34.orig.tar.gz
 877960ee14253021429a9c9b47fba6011989de97ab3c15aff7c5c46f288c05d8 11516 why_2.34-4ubuntu5.debian.tar.xz
Files:
 1e729c4ecb41892531563d34208d3e52 3725831 why_2.34.orig.tar.gz
 d004c0e81fdad5cc88bc487c479f9491 11516 why_2.34-4ubuntu5.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQIcBAEBCgAGBQJXgrL9AAoJEFaNMPMhshM9xskP/2DflQ4leHfZVUkBoeuPCeH2
vfxa7LCb9Ez134VNTgzgcd0Xzz+tlm6BMLzIXRUB21FANLtoEqiGLDm5ajEspJrc
px2eq22AUmUzN1tDFy5UUBqm8LdYRheeQ7363mLqLZypaV+f0DxDfsLaCmqm5551
jrPm23BVBNaSeue4A0p9PSFUY9mFv2WWYW2J8D7/pmxTH0KvXpg1DWU6JIqFshGy
seVkYUwgqb0+0smnz7hu/yfnzXtdDCLZEF9/YnRJAbRmm96MgnSNlUVc6jHgHzaK
7fbuc5q5OnDFC02MFdoLjD7PIxk7CgEGfAQMKj03XK4Q7W3MX3jr2EDNv1Wky3IE
/H57eNxHtdcJUO2yxQMC+mqY+Xftvgrc+NSvqxF8mIMzAOU8F1RtIZg726SCltLa
sivXzBDLN8Snl4VvFAOtQHSXrdC3V/5AR9rcc07roAPzsABuvEVPAfFDC/NJFJa6
IA1Y7GNuveCGrdXqqDaeB7fEe9efFgDjW+UWC2CM2yTNZgz6ReL0+rj23LTaOAdO
qgzfjqjAUIKTE3Kh9vrPUHr1wS+cAfgsQxgwvnw6iEe4ICaZQXN5B1NaSxuozdn3
wMsf/7MCPlyCAOBdv+OqsnhoASjixSzeie7cNZ1nw9r2rs6QNSEI2XqTcI5Y75Le
Mi54+jHfcrF+fWZ2/kH6
=x44i
-----END PGP SIGNATURE-----