-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Sun, 24 Jan 2010 23:56:15 +0100
Source: why
Binary: why why-examples libwhy-coq
Architecture: source amd64 all
Version: 2.23+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
Changes:
why (2.23+dfsg-2) unstable; urgency=low
.
* Rebuild with OCaml 3.11.2
* Correctly detect Coq-float wrt. its new path
- Add 0006-Coq-float-can-be-in-coqlib-user-contrib-Float.patch
Checksums-Sha1:
287dcd57cf4b1f2bf512bd3f45596b83732d3cbb 2185 why_2.23+dfsg-2.dsc
0c2bef35f073a9c38f8ca27b6a19813bc9da7787 9338 why_2.23+dfsg-2.diff.gz
f44bf107dbaf867b3b0ec894b39f28af7426ccfa 8620234 why_2.23+dfsg-2_amd64.deb
554ac0e09a85e4ec6640c470042f5617e7a3cccc 185672 why-examples_2.23+dfsg-2_all.deb
d0edfa51f184145a7428d21c5a0e7e0e33b23371 420856 libwhy-coq_2.23+dfsg-2_all.deb
Checksums-Sha256:
7ff8f7416257c3c9909a097f055faa9b9700dd3487aa1460253921134fb51d93 2185 why_2.23+dfsg-2.dsc
0a8c81de9c0be204bc9ddc4f86e60571fcd4287f16a6883b8f9b49d2c6e65849 9338 why_2.23+dfsg-2.diff.gz
1e9b6be7c934f20ccaa93640db36a7e151039cdcc5739fef9548ec0e4e7d5e57 8620234 why_2.23+dfsg-2_amd64.deb
048d29c3b928335ff2f7f808b3253db660cd95faaabd8b3292b41b476e3ead1a 185672 why-examples_2.23+dfsg-2_all.deb
69f93b9abf068537ac10abb5f620a391432aa71fa028583e2d81369772aaab1c 420856 libwhy-coq_2.23+dfsg-2_all.deb
Files:
053a94c522c1b4b665992cd694d01cca 2185 math optional why_2.23+dfsg-2.dsc
12b586eea3416ca9ddc93a2a8c05c078 9338 math optional why_2.23+dfsg-2.diff.gz
33a641fb1bd93eb592965b9c456ecd84 8620234 math optional why_2.23+dfsg-2_amd64.deb
657f6548af2b70109e069ee9b39694dc 185672 doc optional why-examples_2.23+dfsg-2_all.deb
42b191912401a6900022eb7a320e7375 420856 libdevel optional libwhy-coq_2.23+dfsg-2_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iQIcBAEBCAAGBQJLfAc4AAoJEDO+GgqMLtj/6tMP+weFrZxZEbGKlUJVxWTQC6E+
GUBmxqYFXMby6Y5pD8enz3XfDLuZQHfjYc6uz7S+CRMk6RHbJSXhaKWJo/2mSjcT
Gsxl/wI0p1I2h0sei818bHDcbERiux8yQiMmpC5WQ1UCus9a3Uhnj9gwY511uFuY
fz0SAspXVIc4JuLYKMhO3DmBUuFsUjXjacDf7XX19krqTP+z2duG+8nJCcSs9sLE
Gq+06Nc/VYYmxannvoN/MGNaTlIMqqceo0Rs2EgLJt41DilCYeKmSKM/cqylfJXN
yl2wGZ8LTbAPkINq73bIq7Yvlrs2I8PN04LxRZDMcbP1ym7MRly359+I5LwAZIsX
mi8yxMkY1ilL/jhHpmCBg6qSXbIi2zZWFNEq368U3b6mfiCdrdV9CEA9U0iyVQOo
KjAReJY00fFdzuRAuR9es6WkUFCggXbM7u5etacSulnz8SdsFwwefLv/DvxflBRm
jaeQhvYTC1r1QvPr+95QiBpX1iSVNBQNjJdKBxOFhMssWoxrY4d7LARGrtLzwnTl
ElukOqKO1MZFu18s1ph8zhLraeB7aDJLLSVbE29b8jyKWv5Z/dg4yPTregGqOKLX
Hrz4JpGJRjrtTHPE+Dv5K5YI2DsAK3AdVQCsA8f8/M9WPt7ik7w1PFfreGv1MD4q
Fc/cplFDb4RPRY255ptS
=/Z+w
-----END PGP SIGNATURE-----
Accepted:
libwhy-coq_2.23+dfsg-2_all.deb
to main/w/why/libwhy-coq_2.23+dfsg-2_all.deb
why-examples_2.23+dfsg-2_all.deb
to main/w/why/why-examples_2.23+dfsg-2_all.deb
why_2.23+dfsg-2.diff.gz
to main/w/why/why_2.23+dfsg-2.diff.gz
why_2.23+dfsg-2.dsc
to main/w/why/why_2.23+dfsg-2.dsc
why_2.23+dfsg-2_amd64.deb
to main/w/why/why_2.23+dfsg-2_amd64.deb
