-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Tue, 07 Jul 2009 23:50:16 +0200 Source: why Binary: why why-examples libjessie-ocaml-dev libwhy-coq Architecture: source amd64 all Version: 2.18.dfsg-5 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Mehdi Dogguy <dogguy@pps.jussieu.fr> Description: libjessie-ocaml-dev - Jessie library for C code analysis libwhy-coq - Why library for Coq why - A software verification tool why-examples - Examples of programs certified with Why Closes: 536104 Changes: why (2.18.dfsg-5) unstable; urgency=low . * Rebuild against latest Coq package, Closes: #536104. - why suggests libwhy-coq (= ${source:Version}) * Bump standards to 3.8.2 * Tighten build-depends to ease OCaml 3.11.1 transition Checksums-Sha1: 066031a92dbd76636a925561909a5d9b6cdefc61 1481 why_2.18.dfsg-5.dsc ae9631d63eacfb2ddd866588065107f209c3ca54 7873 why_2.18.dfsg-5.diff.gz 7cf45573829427b393a3dbc793d46b62c53cd1e2 5706232 why_2.18.dfsg-5_amd64.deb 6c6e09eb49b6b1dc00cd41d21990b360b6bbcbcd 295902 why-examples_2.18.dfsg-5_all.deb 5a683e3b507e44c24cb09542942b5a1b881a55de 685486 libjessie-ocaml-dev_2.18.dfsg-5_amd64.deb a21c2a6ea2bc88c6bd03398e2895ad0e952f3655 380962 libwhy-coq_2.18.dfsg-5_all.deb Checksums-Sha256: b1a797a1cd86002bf4f1d2cf408b638dabb159a73b0564271ad1262f0e20662b 1481 why_2.18.dfsg-5.dsc ac8d5be18ca0ece4880524f722095a991c1849a0fcc1254a33921764f8ab527f 7873 why_2.18.dfsg-5.diff.gz d6d56580f50af9196517858cba54500de387168c7a94d9ee1e1146a70e592d1e 5706232 why_2.18.dfsg-5_amd64.deb 04d2d70d93cb254ef6c842433a2dcdb24cf788e547edd4a4ca76ef20194903e1 295902 why-examples_2.18.dfsg-5_all.deb 8da5d3da48fcd3197bc265f0953ea79126fac58f9483eacce3ec480e304cbe13 685486 libjessie-ocaml-dev_2.18.dfsg-5_amd64.deb af5e06407b2097e19dfdc79caa8be033e692695ea46461a4c2bcb313f44e5f6d 380962 libwhy-coq_2.18.dfsg-5_all.deb Files: 4060e7109657a0f43f40aceb127d1ed6 1481 math optional why_2.18.dfsg-5.dsc 47ace5e1cb86849796a64aad2900994c 7873 math optional why_2.18.dfsg-5.diff.gz f680f176b56b24e70893ac33e462f237 5706232 math optional why_2.18.dfsg-5_amd64.deb ebbc7d902c419494eab7edb44531b91a 295902 doc optional why-examples_2.18.dfsg-5_all.deb 79c3db4a73a84256f41d2ce9db9b85c4 685486 ocaml optional libjessie-ocaml-dev_2.18.dfsg-5_amd64.deb 8b46b7a4d0e77d245d732373bd1ea7de 380962 libdevel optional libwhy-coq_2.18.dfsg-5_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.9 (GNU/Linux) iEYEARECAAYFAkpTzmsACgkQhryr/xwAx5DiEQCgkrIU8vezfV6D4kD7Ei+fK7Vi GHoAoNZxdmhu0Dnxl5dQU+4tU2+MClCE =+QX3 -----END PGP SIGNATURE----- Accepted: libjessie-ocaml-dev_2.18.dfsg-5_amd64.deb to pool/main/w/why/libjessie-ocaml-dev_2.18.dfsg-5_amd64.deb libwhy-coq_2.18.dfsg-5_all.deb to pool/main/w/why/libwhy-coq_2.18.dfsg-5_all.deb why-examples_2.18.dfsg-5_all.deb to pool/main/w/why/why-examples_2.18.dfsg-5_all.deb why_2.18.dfsg-5.diff.gz to pool/main/w/why/why_2.18.dfsg-5.diff.gz why_2.18.dfsg-5.dsc to pool/main/w/why/why_2.18.dfsg-5.dsc why_2.18.dfsg-5_amd64.deb to pool/main/w/why/why_2.18.dfsg-5_amd64.deb
