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

Format: 3.0 (quilt)
Source: why
Binary: why, why-examples, libwhy-coq
Architecture: any
Version: 2.26+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.9.0
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.9~), ocaml-nox (>= 3.11.1-3~), 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.4), frama-c-base (>= 20100401+boron+dfsg-4~), libapron-ocaml-dev (>= 0.9.10-4), camlidl
Checksums-Sha1: 
 0c63c64e1b2cfb8c4c5a8d3f279073aa2d67f080 2513136 why_2.26+dfsg.orig.tar.gz
 16d40e2f8f045e0b7ea81077dd08aaaa6fce6ac2 10637 why_2.26+dfsg-2.debian.tar.gz
Checksums-Sha256: 
 667187e0058383c8b660c706a915c00af16256ae63ddd286ebfe09bd67ac4d69 2513136 why_2.26+dfsg.orig.tar.gz
 ba7425547eb92a1522a7273cb489afbc8ae0c83dba43be21780d9bf294262873 10637 why_2.26+dfsg-2.debian.tar.gz
Files: 
 ea3c84978d0ceddb64c278eb203231ed 2513136 why_2.26+dfsg.orig.tar.gz
 398bd27c2a03574aa5ed12713ef51f26 10637 why_2.26+dfsg-2.debian.tar.gz

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

iQIcBAEBCAAGBQJMReHRAAoJEDO+GgqMLtj/lMQQAMstUfD77homYZ6CEsIREEDA
TbQpNJUux7bOLaLLFtY3y26m1UWr+HrEkGZESDgh9vxgN38VERdVNzXkdpLoJU6S
JnFqcnIgJWsM6craZ4j5jIr1hFvjR23WXmy+Py1YxwjI2seFnN+T5sDnNetmshor
vUqnR3Rbcns1YusHGJZICxy/BnOwB4KNO1wmvgfNvFodhpD2w/9y5o2QipBMLu10
TI8mLPUH7E26kly8lgYbVloptlPn3AQsFJo+aCjzQS5jrOxsVt/SttH/hr4ZBLI/
/0YgUTu1w+cxUPS2xFVdAAFYwZ++m5WA+fXy8gT+su0wZDQ+716w1+REaMSetqr4
3l4Mr3PLa7C9egPtEcLX4OnkgMFhCxKtu08DKbjhJXqnVG/arWz+vP/ntoW6LNV/
Kaay3M4a905R8wr8xjmMdPMy0fSnyF8UMHqjYM5Tc5NsnuAIdoR2xbRAzBcwsvjU
8HUcrpbrPab+1JG6KFDfB9TwCDGP85FYdR/wPJaXtHPeUuoU0+ZZ3QndftTUd/8l
t8l1xPpaF0oRr8knrQtMKeH3/uyqx23gqiWDb4zr8p5Y4o3MvymNlJ0OBbAikfh0
wcfsOl6B2CNaLdYRwdFfvtYMK+jUkCrLCHsGZJH+YJPZzcqTByRBL3mOndhJvvL9
8Yu6XGbTpe+YuIClqbwX
=7Qt8
-----END PGP SIGNATURE-----