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

Format: 1.8
Date: Sun, 13 Mar 2011 18:34:27 +0100
Source: why
Binary: why why-examples libwhy-coq
Architecture: source amd64 all
Version: 2.26+dfsg-2+squeeze1
Distribution: stable
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Mehdi Dogguy <mehdi@debian.org>
Description: 
 libwhy-coq - Why library for Coq
 why        - A software verification tool
 why-examples - Examples of programs certified with Why
Changes: 
 why (2.26+dfsg-2+squeeze1) stable; urgency=low
 .
   * Add 0007-Squeeze-s-Coq-is-also-compatible.patch: why-config checks
     compatibility of provers by checking their version number. Coq
     versioned 8.2pl2 is also compatible (like 8.2pl1). Marking it as
     such so that it gets activated.
Checksums-Sha1: 
 c32074a792d884ef10e1fbd3e4261f1e55c48e05 1914 why_2.26+dfsg-2+squeeze1.dsc
 88eb569ed7c351666484a171a2aeb2d6d22ca5c5 11280 why_2.26+dfsg-2+squeeze1.debian.tar.gz
 e72a5d251ba79becb9b605bc26e40113caef7716 8566522 why_2.26+dfsg-2+squeeze1_amd64.deb
 bbd3f70629f0de7fd7474ec545898b8564bfa1ce 184102 why-examples_2.26+dfsg-2+squeeze1_all.deb
 94541db77d704075f796a2ea9c5e773c5bd81718 513412 libwhy-coq_2.26+dfsg-2+squeeze1_all.deb
Checksums-Sha256: 
 767ca83f7ae099250311f77470b9e38064d16f803b17f470d93af8b699338fa1 1914 why_2.26+dfsg-2+squeeze1.dsc
 c9c757ad54f7d47df137a18f6a80a280e5ac3d51878b4ca1b20c82a2f817f1a7 11280 why_2.26+dfsg-2+squeeze1.debian.tar.gz
 c6ccb7907b27410b96cbaad297966516ee906cef314772f09564b0d468ef8ca0 8566522 why_2.26+dfsg-2+squeeze1_amd64.deb
 3429343a4d0edb7eb5fc718f932537fce7f2468e3504bf6d881d8cf7e980a41e 184102 why-examples_2.26+dfsg-2+squeeze1_all.deb
 034874fd2d3ae53d5001ff0503f3225363a22b34d5323ecc447d4a47c27157d6 513412 libwhy-coq_2.26+dfsg-2+squeeze1_all.deb
Files: 
 72dccf9ab20f515b762bbe76f9c3cd1e 1914 math optional why_2.26+dfsg-2+squeeze1.dsc
 a512d0a849724c34f136c973ed51090a 11280 math optional why_2.26+dfsg-2+squeeze1.debian.tar.gz
 92387728278f9da0d1563aee6546bc9f 8566522 math optional why_2.26+dfsg-2+squeeze1_amd64.deb
 bd3252cc0d3ff31950d444039b6fce76 184102 doc optional why-examples_2.26+dfsg-2+squeeze1_all.deb
 0a3e89a667639e02e9ca9b84d57551a5 513412 libdevel optional libwhy-coq_2.26+dfsg-2+squeeze1_all.deb

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

iQEcBAEBCAAGBQJNfQ6+AAoJEDe1GR0FRlJo15AH/1GBozRbB+2WUObTgmY1KzVC
kLWFfh8MwWmqhhIzQQnmQck3UnmkMtEBgIdxOkLEGBDMfZs5mfFxF4OIADfJzuID
r5P/lAi7xWpYFvTDVI9799LOooMa/zbNLuqd5SH9HuBxgOspALTq0wNql2nWDiCR
FwVKEXzVjBQbOmfltRmDkncUU+a9RrxHWdlqjP3alHehS2nCscVzE+HdrUrIet/7
99kthAVVxsX/ZLssw4F6+OB426VrdzYNNjv0AT2slC/Q7n3FTXi5ZwKyY5GHOYpO
c7aIxSyIAzGMYpdjEAez6CckYKX0LudTO7rVHHvsSWLkEKRRuHTDzps68vT9oS4=
=Haxa
-----END PGP SIGNATURE-----