-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Mon, 16 Jan 2012 18:19:38 +0100
Source: why
Binary: why why-examples libwhy-coq
Architecture: source amd64 all
Version: 2.30+dfsg-3
Distribution: unstable
Urgency: high
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 - Software verification tool
why-examples - Examples of programs certified with Why
Changes:
why (2.30+dfsg-3) unstable; urgency=high
.
* Fix 0002-Mark-alt-ergo-0.93-as-compatible.patch
- Adapt version_regexp because "alt-ergo -version" changed.
* Fix 0004-Default-to-why2-for-jessie-atp.patch
- default to "gui" instead of "why2".
* Add 0007-Replace-caduceus-invocation-by-Frama-C.patch
- Caduceus is gone. We use Frama-C instead.
- Adding Frama-C to Why's dependencies.
* Setting urgency to "high" to fix those issues.
Checksums-Sha1:
9409be50699a0f062b26d49482cda128340ff944 1968 why_2.30+dfsg-3.dsc
be3d3d642968baac9fa78372a769a0d0b1222909 11278 why_2.30+dfsg-3.debian.tar.gz
7a133c0538a43f60dfb24c49db4e01b573506dd8 8114532 why_2.30+dfsg-3_amd64.deb
775b2e9433129d1a8c49f463dfaaceeb30110550 194332 why-examples_2.30+dfsg-3_all.deb
36ba281f904e74f1b85d577a39a0cf68784c3ae3 417108 libwhy-coq_2.30+dfsg-3_all.deb
Checksums-Sha256:
1206ee64d95ad18771e74b7f962d0e849f2bd608e7b5152f59da8c56189b2446 1968 why_2.30+dfsg-3.dsc
8f2798db8f649764564edd5f9dfcdafb4e557e9cf7c8ce62cc70716818595870 11278 why_2.30+dfsg-3.debian.tar.gz
b891ad48e00ad578e8c209a9dcd9cacddbe600c4d6fb893140ba08c96cdc258d 8114532 why_2.30+dfsg-3_amd64.deb
a48f36eadfaa764adfc8bbc51283bc10620dd3e294b8e4d4566ceae529198a23 194332 why-examples_2.30+dfsg-3_all.deb
5d82e40fda1d8876ff5a6e53651b79983e5f38b5b3748c3849946ed66840de98 417108 libwhy-coq_2.30+dfsg-3_all.deb
Files:
91c99714d73da5c3a444599ffe76c1b3 1968 math optional why_2.30+dfsg-3.dsc
5788a4c0f1f5d0d9ac4e5ce870069b93 11278 math optional why_2.30+dfsg-3.debian.tar.gz
99f0e0c2c9d400998c3f2a21bd77ba44 8114532 math optional why_2.30+dfsg-3_amd64.deb
ccebb70dbe469c6f2a3192e8b927e31c 194332 doc optional why-examples_2.30+dfsg-3_all.deb
adc386dd01f6122f661faf0938c39b26 417108 libdevel optional libwhy-coq_2.30+dfsg-3_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
iQEcBAEBAgAGBQJPFGoHAAoJEDe1GR0FRlJoQWcIAJLntoB9/k0LD+tqcfcJtBzg
LJNQ1SraxxvASFmmiR+W+EqemvE3tTPrhvoPnv+BFRniS/hdLpQowSyj6V3TYru9
MplB8plfuO/mm7F0InBqqPnH9v0K/bI/gTe1ZB6l8+INRuedDcdS6TKQTD+Cb2jw
mK6h3OrOybIfivzHv8iZlePy80QpV+7lDdSTHE1/YdHUiZ/AKCTALWZfbQCDtyRb
DFDNos702lL3d+t4IGS4LyrSbQYhWDk1c6+FYcN75Z45c39QK+ngJ2re/O+VH2+M
XQAz7Y/p5YLF7vKJqHwb13U5mkbiJdzwmpKp7B84w5zYUASovG0ifHzhlxABCZs=
=rhqJ
-----END PGP SIGNATURE-----
Accepted:
libwhy-coq_2.30+dfsg-3_all.deb
to main/w/why/libwhy-coq_2.30+dfsg-3_all.deb
why-examples_2.30+dfsg-3_all.deb
to main/w/why/why-examples_2.30+dfsg-3_all.deb
why_2.30+dfsg-3.debian.tar.gz
to main/w/why/why_2.30+dfsg-3.debian.tar.gz
why_2.30+dfsg-3.dsc
to main/w/why/why_2.30+dfsg-3.dsc
why_2.30+dfsg-3_amd64.deb
to main/w/why/why_2.30+dfsg-3_amd64.deb
