[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

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


Reply to: