-----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-ma...@lists.debian.org> Changed-By: Mehdi Dogguy <me...@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 -- To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/e1ri6du-0005ef...@franck.debian.org