-----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-----
Accepted:
libwhy-coq_2.26+dfsg-2+squeeze1_all.deb
to main/w/why/libwhy-coq_2.26+dfsg-2+squeeze1_all.deb
why-examples_2.26+dfsg-2+squeeze1_all.deb
to main/w/why/why-examples_2.26+dfsg-2+squeeze1_all.deb
why_2.26+dfsg-2+squeeze1.debian.tar.gz
to main/w/why/why_2.26+dfsg-2+squeeze1.debian.tar.gz
why_2.26+dfsg-2+squeeze1.dsc
to main/w/why/why_2.26+dfsg-2+squeeze1.dsc
why_2.26+dfsg-2+squeeze1_amd64.deb
to main/w/why/why_2.26+dfsg-2+squeeze1_amd64.deb
