-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Sun, 24 Apr 2011 20:12:57 +0200
Source: why
Binary: why why-examples libwhy-coq
Architecture: source amd64 all
Version: 2.29+dfsg-1
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.29+dfsg-1) unstable; urgency=low
.
* New upstream release.
- Remove old patches, which are not needed anymore.
- Remove build-depends on coq-float (upstream switched to Flocq which
is not packaged yet).
* Bump minimum version of Coq to 8.3
- and add 0001-Why-2.29-do-support-Coq-8.3.patch (upstream forgot to
mention to why-config that Coq 8.3 is "ok").
* Mark Alt-Ergo 0.93 as compatible
- add 0002-Mark-alt-ergo-0.93-as-compatible.patch
* Fix FTBFS due to non-exhaustive pattern matching
- add 0003-Fix-non-exhaustive-pattern-matching-in-jc_annot_infe.patch
* Set 20110201+carbon+dfsg-1~ as minimum version number for Frama-C.
Checksums-Sha1:
12790c3bf56bd4220a4bc1f9918b7eaf874ebe81 1842 why_2.29+dfsg-1.dsc
e4c97d2360381a0eee689938293ee52e6b625363 2747091 why_2.29+dfsg.orig.tar.gz
c2e27b16c8e94aba96b3e86c1b31244bd834848b 9289 why_2.29+dfsg-1.debian.tar.gz
ecd70d0ed139e290514200b53653d4601853e8ad 8775032 why_2.29+dfsg-1_amd64.deb
6319f2d760aec7d06f74832ef7d67d785d22af20 195134 why-examples_2.29+dfsg-1_all.deb
7adb4d1312e18158a6269099697bbbde6991c416 415650 libwhy-coq_2.29+dfsg-1_all.deb
Checksums-Sha256:
a85f55d4b9475e1e0faa2173c3273ae1aafa2035dd3c7f2dfc65808c50d2fdd0 1842 why_2.29+dfsg-1.dsc
e0b78694c40770ea5632bf086f34446bd02f807d89f9f93c3f0563630d898a73 2747091 why_2.29+dfsg.orig.tar.gz
95ef5f8ea676c614c6cd4c6a31c5061e433cdb0f8994378c48f55733eb5f3d7a 9289 why_2.29+dfsg-1.debian.tar.gz
63d24e1c4161b1c93b4ea58056dfa2945bfb2fb0750f4344bc50e526ab008c42 8775032 why_2.29+dfsg-1_amd64.deb
320f95af5dae738cb912e62b9e6024317fd49aea124853105cce60166242e341 195134 why-examples_2.29+dfsg-1_all.deb
b350b2fc89331509151d115d3bb677a1ae53018ac2fdc052565720af99f42246 415650 libwhy-coq_2.29+dfsg-1_all.deb
Files:
de89ce310ce511dc986a3749f5c241dd 1842 math optional why_2.29+dfsg-1.dsc
61d8df3ea4c65bc7c0329f4e525eb8d0 2747091 math optional why_2.29+dfsg.orig.tar.gz
55922a593345fcb21caf6f008c057351 9289 math optional why_2.29+dfsg-1.debian.tar.gz
ff9ff231e76d8b289acbbbe772bd220a 8775032 math optional why_2.29+dfsg-1_amd64.deb
1ded45fcefbb7c97fa53b1d6746d2571 195134 doc optional why-examples_2.29+dfsg-1_all.deb
17ed3d6613f9e875da680f399e3bc2e8 415650 libdevel optional libwhy-coq_2.29+dfsg-1_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
iQEcBAEBAgAGBQJNtJhsAAoJEDe1GR0FRlJocI0H/Aof3H1yiu6ZleGLUgch0aeT
xuHLrpHZJr0y39BZgjzjWQuIHbZNF9/oneWaXxUTy8gNpLT0XLgq+TxCTus9/Xvk
8+k9w/7GAxOLAawGFlOWGZOtmbx7igBpt23H9oWTrB9s0GXf9bxaTTEJ2xi7lu/P
KEy+9EZ++Or8RGr+gUeFoc3Pe1U3rSxsYbVJeJyPjf35ci8hc1ugCtMgm8Kwoo4K
xpN5TismBuOpv8ZaZqh7r8zjrJ2xHtieEcO5ihv7VxuUt8WZNhG20HTMCkpaBjBn
4fUO71O7qNKzfavqNTOLMEveJMdXWfJRr87/JU7Fr7g0Q8DBYu27tiNEBgquRSU=
=dasE
-----END PGP SIGNATURE-----
Accepted:
libwhy-coq_2.29+dfsg-1_all.deb
to main/w/why/libwhy-coq_2.29+dfsg-1_all.deb
why-examples_2.29+dfsg-1_all.deb
to main/w/why/why-examples_2.29+dfsg-1_all.deb
why_2.29+dfsg-1.debian.tar.gz
to main/w/why/why_2.29+dfsg-1.debian.tar.gz
why_2.29+dfsg-1.dsc
to main/w/why/why_2.29+dfsg-1.dsc
why_2.29+dfsg-1_amd64.deb
to main/w/why/why_2.29+dfsg-1_amd64.deb
why_2.29+dfsg.orig.tar.gz
to main/w/why/why_2.29+dfsg.orig.tar.gz
