-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Thu, 03 Nov 2011 22:31:40 +0100 Source: why Binary: why why-examples libwhy-coq Architecture: source amd64 all Version: 2.29+dfsg-4 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 - A software verification tool why-examples - Examples of programs certified with Why Changes: why (2.29+dfsg-4) unstable; urgency=low . * Rebuild with OCaml 3.12.1. Checksums-Sha1: 7df5213e24ce4d4f91cb58c9dc5354123131d260 1951 why_2.29+dfsg-4.dsc be9769bae5f24c3ddf5462e72014f32e9f0403e3 9338 why_2.29+dfsg-4.debian.tar.gz e07dadf82cad44765606d7a3394c13590b4952ed 8736832 why_2.29+dfsg-4_amd64.deb ac45e2a8cccbb4cfb5c1edf01d52f90e865c058d 190606 why-examples_2.29+dfsg-4_all.deb 56d2c7a72c9bdad964ebfe5964c1c084b950ea2c 418020 libwhy-coq_2.29+dfsg-4_all.deb Checksums-Sha256: 8503357475d0132bd351ee229c20fcc09f47bb3a7076e025fa097689c6b6e527 1951 why_2.29+dfsg-4.dsc 09381e71a23d250a5e131b1c33a566078a1cb9c0f9209334ef846bbfee7b60d0 9338 why_2.29+dfsg-4.debian.tar.gz 97833d52fec4c687480669a72638f1817ec7e4a7d44270f09a9a7e4f7ea7222d 8736832 why_2.29+dfsg-4_amd64.deb f4ff27ec687b5b5429736288b7561367b7a5a6758c50cb6b3f0b418e6358275d 190606 why-examples_2.29+dfsg-4_all.deb 5893ffac037c83bce6a332a69b95f98b4500996441afb0d58e2d4334f29f72ea 418020 libwhy-coq_2.29+dfsg-4_all.deb Files: 8ecaecb6d04ebb3edaf21a95e30140c4 1951 math optional why_2.29+dfsg-4.dsc 6c5d94a47f626bfe685160455b5341e4 9338 math optional why_2.29+dfsg-4.debian.tar.gz 8e04769af2b81f8883135f35d3eef844 8736832 math optional why_2.29+dfsg-4_amd64.deb 89a0ff730180a9253cd0df1d87d2348d 190606 doc optional why-examples_2.29+dfsg-4_all.deb 16de70a3597dd805c959fc21ddd39ec1 418020 libdevel optional libwhy-coq_2.29+dfsg-4_all.deb
-----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iQEcBAEBCAAGBQJOs4rIAAoJEDe1GR0FRlJoaZkH/0CsPy+Y5Qrl9dMSQO9Fqnl1 VWPoxQmNyiQK4q6t7zNqCfxEShgxBsymqoOlhaXfjrdDFJEd+QYVxC0t0mOfwvnx k8n4gY1yeyiobLq53SB+4n3UUo+UDycXIHwA3BVT6VA5856NxyNB7pDOlrsinE3n qw3F00m5Hm8IkvJuQL5wLZyOLfxlCaRpTZuZcqZ56iwN3Na0nLL2geAWgma3M7r8 XV7TdAWkwKmOJVefaFBiqFCqEFJDc72GXxHQeLIW17cECcS4y60jI/30VzUfBLdE CiHJDHonC9U0ly84jH9oFUlNyq2jPoVcibXo3MmQdi7KraojTgDTqwudCryUm8E= =ciWp -----END PGP SIGNATURE----- Accepted: libwhy-coq_2.29+dfsg-4_all.deb to main/w/why/libwhy-coq_2.29+dfsg-4_all.deb why-examples_2.29+dfsg-4_all.deb to main/w/why/why-examples_2.29+dfsg-4_all.deb why_2.29+dfsg-4.debian.tar.gz to main/w/why/why_2.29+dfsg-4.debian.tar.gz why_2.29+dfsg-4.dsc to main/w/why/why_2.29+dfsg-4.dsc why_2.29+dfsg-4_amd64.deb to main/w/why/why_2.29+dfsg-4_amd64.deb -- 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/e1rme3j-0000yl...@franck.debian.org