Accepted why 2.30+dfsg-4 (source all amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Fri, 06 Apr 2012 10:00:25 +0200
Source: why
Binary: why why-examples libwhy-coq
Architecture: source amd64 all
Version: 2.30+dfsg-4
Distribution: unstable
Urgency: high
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Stéphane Glondu <glondu@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-4) unstable; urgency=high
.
* Team upload
* Recompile with coq 8.3pl4 (no changes)
Checksums-Sha1:
9754fd9327da5b0e830f29e295936f8ecd2d00c5 2316 why_2.30+dfsg-4.dsc
9ccf1972e27743ebbb739f4ba6c39d4883a1af1d 11381 why_2.30+dfsg-4.debian.tar.gz
7cb30f0a419cbd6479e7bf54c2fce90ee6ce35ed 8116276 why_2.30+dfsg-4_amd64.deb
f4fca74031b62693cfb0e498da14ecdccad2ee18 192890 why-examples_2.30+dfsg-4_all.deb
6aa24528f7b51a6079d3ac1a0b81b36af24f3a20 416632 libwhy-coq_2.30+dfsg-4_all.deb
Checksums-Sha256:
4e157851cacaa0edd2ea7e6e39e2ce4c73f3e5e125682be667bd57ac3f2b04c7 2316 why_2.30+dfsg-4.dsc
c83ceb05e284e3dac367f9e131c6867dc4e7fffd37718cb993e81498dca3d568 11381 why_2.30+dfsg-4.debian.tar.gz
c0bf298f754f0b1539c6ec1463f9eefcca6f650fb2da2312ba6c8ebe8808dbd8 8116276 why_2.30+dfsg-4_amd64.deb
2cb8b2b3121a05c55efc6514752e7690381bbb93588e3ddb4aaaf2b8e52c8611 192890 why-examples_2.30+dfsg-4_all.deb
4c3430b60da185ad8035c841747d271ce9fff289a5fd0e7431321703ba9f999a 416632 libwhy-coq_2.30+dfsg-4_all.deb
Files:
0ac5c68125b0bbc7222a2cb0dcadd1a8 2316 math optional why_2.30+dfsg-4.dsc
2b6b3452535e7b182de5835b1f309717 11381 math optional why_2.30+dfsg-4.debian.tar.gz
f9f5f00e2a9041e6408fe1278001c6d6 8116276 math optional why_2.30+dfsg-4_amd64.deb
bf9364520cbbad5ffa152d7e833a0106 192890 doc optional why-examples_2.30+dfsg-4_all.deb
26b64e74a0bbfe0fd14c45519c45b938 416632 libdevel optional libwhy-coq_2.30+dfsg-4_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iQIcBAEBCgAGBQJPfq4HAAoJEHhT2k1JiBrTtLkQALVzrwLQNqF+yVGd1nc98y7f
YXWRUFV6AjNxVBp+hbrIzzy0FxDP7LiK0sShQKYO+Hr6MBpaIk5JlGbbn+dXyQtI
4WEprW8ja+ApruMkdAOEs3IRLtxWlLpdUlGuygBxRHdMcpsihOX+y4VHsJul/bpi
IdrawV9babKv5GLDy1KNx2FMvwIDEht2OkFBmC3B0cu46d4Afg4eDrPjDMBdVa4x
z8C8kpIhD9V+XhW5KoOCd5a0jjcPg0BoNPBBPscSZTULf2b9jTlphhWX2XJkiNXo
0yFGLwZRhVHyrQQ4ApeNXqE0kbnEHfSSyU4gY0JRclmJ6Nv+LfScuhgM1cmQUsgy
5gqGedhI4Zu5OQHuaFbnhReZOIP7rOp4h5poW+fnWigU+ot9bcQ9kFqZMSK2Ms81
0xRA0dTF300OTQ5SPGStyKGNDtbSAba0lTe9s7bVfJpBs+TF7fXqFvmRXVNkzurx
hw4aMwZ20+cmClXmhJjtrL45YhGDLOp1feRiLqT3D3Wdy/vbyxzzifAZ5IciWyjK
0suLq2u8jxyYTPPBP5TVTC1+qSdrH6Cm9KPy+my8XEs3hUgbzsc6wNzm2BSWwWOw
86S3bcvSH/ppuymefvmB/VDwS9Q7EEt8XVJf+Vb6FNKDZsT+fL7jirENkE7uBvXt
f6gJezAygB7/uFQzQtn7
=U0oo
-----END PGP SIGNATURE-----
Accepted:
libwhy-coq_2.30+dfsg-4_all.deb
to main/w/why/libwhy-coq_2.30+dfsg-4_all.deb
why-examples_2.30+dfsg-4_all.deb
to main/w/why/why-examples_2.30+dfsg-4_all.deb
why_2.30+dfsg-4.debian.tar.gz
to main/w/why/why_2.30+dfsg-4.debian.tar.gz
why_2.30+dfsg-4.dsc
to main/w/why/why_2.30+dfsg-4.dsc
why_2.30+dfsg-4_amd64.deb
to main/w/why/why_2.30+dfsg-4_amd64.deb