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

Format: 1.0
Source: why
Binary: why, why-examples, libwhy-coq
Architecture: any
Version: 2.23+dfsg-2
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Samuel Mimram <smimram@debian.org>,  Mehdi Dogguy <mehdi@debian.org>
Homepage: http://why.lri.fr/
Standards-Version: 3.8.3
Vcs-Browser: http://git.debian.org/?p=pkg-ocaml-maint/packages/why.git
Vcs-Git: git://git.debian.org/git/pkg-ocaml-maint/packages/why.git
Build-Depends: debhelper (>= 7.0.50~), autotools-dev, autoconf, dh-ocaml (>= 0.4.1), ocaml-nox (>= 3.11.1), ocaml-best-compilers, camlp4, liblablgtk2-ocaml-dev (>= 2.12.0-3), coq (>= 8.2.pl1), libfloat-coq (>= 1:8.2-1.2-3), libocamlgraph-ocaml-dev (>= 1.3), frama-c-base, libapron-ocaml-dev (>= 0.9.10-4), camlidl, quilt (>= 0.46-7~)
Checksums-Sha1: 
 b5d489add1e64f0d03ee52b41773a9e0afaba279 2492649 why_2.23+dfsg.orig.tar.gz
 0c2bef35f073a9c38f8ca27b6a19813bc9da7787 9338 why_2.23+dfsg-2.diff.gz
Checksums-Sha256: 
 f169551e3aabe830b11cc749d9f40878774af3fb9ffbd9a2479d5656cbc2e06e 2492649 why_2.23+dfsg.orig.tar.gz
 0a8c81de9c0be204bc9ddc4f86e60571fcd4287f16a6883b8f9b49d2c6e65849 9338 why_2.23+dfsg-2.diff.gz
Files: 
 bf3ae187ee707e9841414fca56d08096 2492649 why_2.23+dfsg.orig.tar.gz
 12b586eea3416ca9ddc93a2a8c05c078 9338 why_2.23+dfsg-2.diff.gz

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

iQIcBAEBCAAGBQJLfAc1AAoJEDO+GgqMLtj/G78QAIIUQvaiNKRs0iynHKnYAU8t
A2P4a86OfWsvQvtWcUsRv39GItc2+KR7LRdIaaWtl1nPIzWWN7cldIM9fV+A36CQ
Nkng8M1vuw4Qri40Yg5ZBRRkt6xoVHiGXZuvQ5+53lDASMunN5a8BZu6rEl60IIu
+6yO+umyFqWYQHYlrfTBLesE1f6zbtOSjRHMMDb45rNhO1Eyd7k5skQuMrOFxnkq
k63eAnFLL70ksxmX3YqFnyva0gkZSK8gGXdOj/gN85yRR0UhzYzFE0e42iI2AYwz
4EnZn2TSCgp6xP+F9cCZTI8p6Pz/pbzU8ZiBBEP7pDbzQNVixeJ3jvuUnt8Nsi5O
5WLWYrIz98IXW2D7ZRxzrGNFC9gUwl7fF2R2eWWJkH628+/FS1qfj/MU00fGNN4D
4Paib++HdsV7k/YawIuy21Kiu8ObKgKEvOWCd1SBTfoRnPSeXQwJE+jM2Fkl1JsV
0sQuO/kL34XMUq63SSq99P9ntD5D9j+dw7qAoPoy3PaGpx9St3tQtWKQ5fq8Lw2y
uiRi7FrkhS8x0MpgYnJx7/sIuC2kkDEgSN77+iGJOhZAhcpSRV0z1P7EGMwXr+wp
zoUZOkfEz7u9+FzXfbTLuVawzGld9hr2w/PSW+F8uxiRT9gaWqhM7Mba/BvXyJf/
MO6h1MpgKL0p2qvxT2Hh
=u6Mv
-----END PGP SIGNATURE-----