Accepted why 2.30+dfsg-1 (source all amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Mon, 02 Jan 2012 15:39:47 +0100
Source: why
Binary: why why-examples libwhy-coq
Architecture: source amd64 all
Version: 2.30+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 - Software verification tool
why-examples - Examples of programs certified with Why
Changes:
why (2.30+dfsg-1) unstable; urgency=low
.
* New upstream release.
* Update patches:
- Rebase and update existing patches
- add 0004-Default-to-why2-for-jessie-atp.patch
- add 0005-Fix-Jc_annot_inference-use-old_reg_pos.patch
* Add (back) Build-Depends on coq-float.
* Bump build requirement for frama-c to 20111001+nitrogen+dfsg-1~.
* Bump Standards-Version to 3.9.2, no changes needed.
* Fix description-synopsis-starts-with-article in why's description.
* Fix copyright-refers-to-deprecated-bsd-license-file
* Fix spelling-error-in-binary
* Mark Coq 8.3pl3 as compatible with current Why
Checksums-Sha1:
575d6c0c84602b8234c1dcbacc0b0c14f2963b1d 1968 why_2.30+dfsg-1.dsc
c8e904df22d1681bbcbd0ca886f525dc205a1bf2 3233685 why_2.30+dfsg.orig.tar.gz
0a3b777f3ae667eff0a6e6ea7b175cbd1b54f98e 10756 why_2.30+dfsg-1.debian.tar.gz
36edf178e05a9368c6dc271c6a4bbb72f1b8173e 8114314 why_2.30+dfsg-1_amd64.deb
58575aa1d45e87546559a630a6e74282f08e0e29 194140 why-examples_2.30+dfsg-1_all.deb
4c5421aad0d2ecafb076f2956692c68b789fbc33 416912 libwhy-coq_2.30+dfsg-1_all.deb
Checksums-Sha256:
876c38ef2aa8815c958946c0981b89b0ca4879db4e210fa44b5f95e8bc339823 1968 why_2.30+dfsg-1.dsc
51c91ead51875b0336d352eecd6b306a8f2c96414d59ec7f23b9f711b079cb90 3233685 why_2.30+dfsg.orig.tar.gz
743df22dbde89c2abc4169526d0f1fe3cf15fb15fdc46898a3d94ce6fae71a50 10756 why_2.30+dfsg-1.debian.tar.gz
3f729cd3acf67c260503ec39fe1e7f7069e0517d864189e1be9f2bdafee221d5 8114314 why_2.30+dfsg-1_amd64.deb
e5c93bc153c3a24f8664b7c12d3b195a7c084e19dad45620869fe02d5dcbcc1d 194140 why-examples_2.30+dfsg-1_all.deb
3f628107875e886477c534a5e5eedb013efaa5d1505e1b5790710f7aec270f64 416912 libwhy-coq_2.30+dfsg-1_all.deb
Files:
56ba33b5e3070ff1198d083639bb96e8 1968 math optional why_2.30+dfsg-1.dsc
8e8c6a4c203ed4827cda0e2c8137a6da 3233685 math optional why_2.30+dfsg.orig.tar.gz
fe48007b5ff2113a18755889f812ee37 10756 math optional why_2.30+dfsg-1.debian.tar.gz
48660a47ec2beabf96b4dbc1cf6e4a3d 8114314 math optional why_2.30+dfsg-1_amd64.deb
61b597f253ff776cd502da38df820331 194140 doc optional why-examples_2.30+dfsg-1_all.deb
d84b4b8c52480a0603dff22ac8965de3 416912 libdevel optional libwhy-coq_2.30+dfsg-1_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
iQEcBAEBAgAGBQJPAx9HAAoJEDe1GR0FRlJoZHYH+QFCKgOsiYKIIk37cMfvX2AJ
g/VLp4IDN4gQCYdNXKUg8GhLTQ3fKJTJ8w7FVDdL7vqg1RgC/2axmC9VuziJC4Gr
YVGA+0qv3m/jZDEBP2wUlpHnpdh+jve1lcYE3MuvC2lHzXszxNJJlGVgzFzQfEMt
iNiFGPEQz7FbXavcoPKu1p099SmxXfmkD4JmHDF/PYLp1V79s3Ow3trehmP/ze9m
mv3SYWaLI6XwIeZLwQjLMjfKrxIf12hYaMTW+08X2oLAWRncgiUwYYcuADE2hxfI
j57dAM3sK4YK7uMvloXNfoA7tx5A7EG33fTP1XUilWmPECCOvyjlCZ/uJLiwia8=
=ESs3
-----END PGP SIGNATURE-----
Accepted:
libwhy-coq_2.30+dfsg-1_all.deb
to main/w/why/libwhy-coq_2.30+dfsg-1_all.deb
why-examples_2.30+dfsg-1_all.deb
to main/w/why/why-examples_2.30+dfsg-1_all.deb
why_2.30+dfsg-1.debian.tar.gz
to main/w/why/why_2.30+dfsg-1.debian.tar.gz
why_2.30+dfsg-1.dsc
to main/w/why/why_2.30+dfsg-1.dsc
why_2.30+dfsg-1_amd64.deb
to main/w/why/why_2.30+dfsg-1_amd64.deb
why_2.30+dfsg.orig.tar.gz
to main/w/why/why_2.30+dfsg.orig.tar.gz