Accepted why 2.26+dfsg-2 (source i386 all)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Tue, 20 Jul 2010 19:35:51 +0200
Source: why
Binary: why why-examples libwhy-coq
Architecture: source i386 all
Version: 2.26+dfsg-2
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 - A software verification tool
why-examples - Examples of programs certified with Why
Closes: 585459
Changes:
why (2.26+dfsg-2) unstable; urgency=low
.
[ Stéphane Glondu ]
* Add 0006-Cope-with-OCaml-3.12-s-Map.patch (Closes: #585459)
.
[ Mehdi Dogguy ]
* Rebuild with Coq 8.2pl2
* Convert to 3.0 (quilt) source format.
* Bump standards version to 3.9.0, no changes needed.
* Bump minimum frama-c-base's version to 20100401+boron+dfsg-4~.
* Add "make" to runtime dependencies of Why.
Checksums-Sha1:
1f3365558299409d00d7bdb23eb1fa15d98ddc1e 2224 why_2.26+dfsg-2.dsc
16d40e2f8f045e0b7ea81077dd08aaaa6fce6ac2 10637 why_2.26+dfsg-2.debian.tar.gz
bf514e5f15e1842d400ef2f0d25423ccb66f0183 7155814 why_2.26+dfsg-2_i386.deb
f1ad2ce1c44eac2dc996b32d05c618e837dc3e2e 186046 why-examples_2.26+dfsg-2_all.deb
9479ff59cfe3a21fbf1f270b9a9c4efc0df0352a 509050 libwhy-coq_2.26+dfsg-2_all.deb
Checksums-Sha256:
6b6725ca4a6a299b617d2ae33a0858f87ea9e595934b73a98cd87be4a6c44934 2224 why_2.26+dfsg-2.dsc
ba7425547eb92a1522a7273cb489afbc8ae0c83dba43be21780d9bf294262873 10637 why_2.26+dfsg-2.debian.tar.gz
98096f6d9ff0cc3d7649f1d6c5d7173ef5978d7d0f174e0dfcf7eeb757c4f723 7155814 why_2.26+dfsg-2_i386.deb
044cccde7dc430b4736357f40f6aad88acb3bca6e1ca66c9bdecbbb73eca9aba 186046 why-examples_2.26+dfsg-2_all.deb
0009b969bcd8c972cad5fab1e51325a15152021b11272b5bdd43df7368396fd3 509050 libwhy-coq_2.26+dfsg-2_all.deb
Files:
416ed82e6da4ea481a9704e625b0f8dd 2224 math optional why_2.26+dfsg-2.dsc
398bd27c2a03574aa5ed12713ef51f26 10637 math optional why_2.26+dfsg-2.debian.tar.gz
d647039f2413286596befd76e3bc7920 7155814 math optional why_2.26+dfsg-2_i386.deb
9b2f7cc0b3adeba021ffe41db4f5d3a5 186046 doc optional why-examples_2.26+dfsg-2_all.deb
daafe18787cdeb0f38b5808a2ba23ec8 509050 libdevel optional libwhy-coq_2.26+dfsg-2_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iQIcBAEBCAAGBQJMReHUAAoJEDO+GgqMLtj/9qUP/29wsReHn5XOSXHe8FSUVGBi
pN4S7tHW+pQlft/oZV6CKD8mgwOAMN0Ww1Uht/SPAZqGXqKobw3yWuK469mg3i96
wXFZj3ggc5krQvtercvi1bYzSNiSg6cUjm9Pf+oveqM2djcPSCaXGw3T2eS19eCU
bm+iJlQACZwVG+CRvpVU12R4ZBekmyahoiYPmt/FInLbtkkPal7Its8uhyqp8PqK
rUE73BmZv+2mx3cxa+uxa2cQu40I9MaiKHGqqh21YZ49eBTzl1VZhgPRIURdVBFx
XPtTNDU89X1Bc95uwTByDRubz6d0MUUQVRBnshjN0e5aVvdbT+rUY+nLTbUrr82x
iwNDqXpRCt4sHu5NbirMq2xh5DASdjVRzuopGE5BRyPsYSmdXYG9m+f5A8H6qT+I
iQk47+kY5AFNL5AFkY2vGTLPMefXq5oaQPogBT2w6nZnieSuvCQ2QYzgZUgLKB9y
Jp87xXJ6FQGZfJcCV+7vJNfhVE+42nWvj+/KvXpiCFr0kqlDWHaL2m7JOpdjvjbU
9CUDeWbwtd1VSadkNHmBz8c0lIJO9r4wDiR/0wLhj7b4qq9bDYfXDzK8n312wgU8
gfRtqVEwEZQSdwIw9qQEoBEkHcAn2wRU37QEzLoGmhi3fcR2h2UitTb8kRjHYk0k
Y4vbPYZQWDT96XSI1YqW
=nEtD
-----END PGP SIGNATURE-----
Accepted:
libwhy-coq_2.26+dfsg-2_all.deb
to main/w/why/libwhy-coq_2.26+dfsg-2_all.deb
why-examples_2.26+dfsg-2_all.deb
to main/w/why/why-examples_2.26+dfsg-2_all.deb
why_2.26+dfsg-2.debian.tar.gz
to main/w/why/why_2.26+dfsg-2.debian.tar.gz
why_2.26+dfsg-2.dsc
to main/w/why/why_2.26+dfsg-2.dsc
why_2.26+dfsg-2_i386.deb
to main/w/why/why_2.26+dfsg-2_i386.deb
Reply to: