-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Wed, 16 May 2012 12:54:14 +0200
Source: why
Binary: why why-examples libwhy-coq
Architecture: source amd64 all
Version: 2.30+dfsg-5
Distribution: unstable
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 - Software verification tool
why-examples - Examples of programs certified with Why
Changes:
why (2.30+dfsg-5) unstable; urgency=low
.
* Update 0001-Why-2.29-do-support-Coq-8.3.patch
- Mark Coq 8.3pl4 as compatible.
* Bump Standards-Version to 3.9.3, no changes required.
Checksums-Sha1:
b740bf0d3b0dc9cc52693e002377a4b7993e4abd 1968 why_2.30+dfsg-5.dsc
889accd706db81dd77743f46146692bc6def56a1 11410 why_2.30+dfsg-5.debian.tar.gz
5375bf6a9a7c20f31103105eaf128b4800740613 8172490 why_2.30+dfsg-5_amd64.deb
6b4cc5ca3ae4825ff07837b1da6215b06ee83fb1 194416 why-examples_2.30+dfsg-5_all.deb
8c75bf78f0278ce006986ca5f35c7c9a4830c17c 417300 libwhy-coq_2.30+dfsg-5_all.deb
Checksums-Sha256:
00f624c26e19ced79a8a1e5f25179ad923e03c9d2dbec45002df7b62d13f9bc4 1968 why_2.30+dfsg-5.dsc
eddea5c457eac4c60fc11ca7f17631d21f9941424296b47d7f2cb8c4c808c7de 11410 why_2.30+dfsg-5.debian.tar.gz
901dc001ff9149e1505c637346eb9a0c0a4e9260c39def5e8fbc2aee565f7bbd 8172490 why_2.30+dfsg-5_amd64.deb
f250f51b380abf1a5addee6fad83d6205fc29ddee442208dcaf857566226d931 194416 why-examples_2.30+dfsg-5_all.deb
c42a5f842ea00f758bb1a2c4c26f7eccccdcf2827a8f41560a169f879c0663ba 417300 libwhy-coq_2.30+dfsg-5_all.deb
Files:
9a498474e986013b6c15d32f05fb80a1 1968 math optional why_2.30+dfsg-5.dsc
34afebbad81bbc73a5079f1a5c7922c0 11410 math optional why_2.30+dfsg-5.debian.tar.gz
360c2c7a275bba73b8cdbc263c47ee3b 8172490 math optional why_2.30+dfsg-5_amd64.deb
42044debb6746e52695581980b87e0fb 194416 doc optional why-examples_2.30+dfsg-5_all.deb
a5bd95d569bef816db5fa035c954293d 417300 libdevel optional libwhy-coq_2.30+dfsg-5_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
iQEcBAEBAgAGBQJPs4iKAAoJEDe1GR0FRlJostoIAIJD+Ke8JOa9qFOC0UxD6HeZ
igOPy9ozlv4HAU8r+2WeqJdPKfzjp8PIIxGTWeh/nT6gdtZml9skhqtm+ND7j10W
y+easS4o7RNtJHI3PsNqe40CkC+Tb580wwROzzxHMq2p1BEF/d97/wcOBaVWGdDu
GJDOr7l0kLKiRnqyvhhSwNIdjpNOFVWhoZTcUtqMx1J2URiUuQ0gpJzSHAiHwEjC
dgJYLC5folj0NJmP66fjhe74m7EFJ32LvgdQNyfsSSTpiYKn9VG/PdLytc1IiOao
jHqM8zj2G+C0iu7qx2nTD5yYpq/scoC45y1F9RRfP2owUMlgPPD7iNhqfWXeJ6c=
=NvTD
-----END PGP SIGNATURE-----
Accepted:
libwhy-coq_2.30+dfsg-5_all.deb
to main/w/why/libwhy-coq_2.30+dfsg-5_all.deb
why-examples_2.30+dfsg-5_all.deb
to main/w/why/why-examples_2.30+dfsg-5_all.deb
why_2.30+dfsg-5.debian.tar.gz
to main/w/why/why_2.30+dfsg-5.debian.tar.gz
why_2.30+dfsg-5.dsc
to main/w/why/why_2.30+dfsg-5.dsc
why_2.30+dfsg-5_amd64.deb
to main/w/why/why_2.30+dfsg-5_amd64.deb
