-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Fri, 03 Apr 2009 22:03:21 +0200 Source: why Binary: why why-examples libjessie-ocaml-dev libwhy-coq Architecture: source amd64 all Version: 2.18.dfsg-2 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 code analysis libwhy-coq - Why library for Coq why - A software verification tool why-examples - Examples of programs certified with Why Closes: 522440 Changes: why (2.18.dfsg-2) unstable; urgency=low . * libwhy-coq replaces why (<< 2.18.dfsg-1), closes: #522440. * why now depends on libwhy-coq (= ${binary:Version}) and why-examples on why (= ${binary:Version}). Checksums-Sha1: 6348698407762e70a4677368036fe0a8dc546dd9 1452 why_2.18.dfsg-2.dsc adc184d8ed7c5e17c315b2397174e0ec308db879 7405 why_2.18.dfsg-2.diff.gz af3aeaaf2c5eb227bacd279810be1b8360df6aed 5692960 why_2.18.dfsg-2_amd64.deb 667a030ee97188af692f09236705fe4cda5fd657 293522 why-examples_2.18.dfsg-2_all.deb cb87a4d4bfcb4c429ef4198dce22f80d9ea40f9b 672950 libjessie-ocaml-dev_2.18.dfsg-2_amd64.deb 6a88632f8b7b241000ffd51b23d9ea42e275ed58 386510 libwhy-coq_2.18.dfsg-2_all.deb Checksums-Sha256: 46d82f6a52b511b89eb284499365db900ef0e94c805154b9a38dc7f6df23ca83 1452 why_2.18.dfsg-2.dsc fdefaba02c5eba6ec7f3f3771778c50ad5b1dbb5c3ab30ddd354cfb22e348670 7405 why_2.18.dfsg-2.diff.gz aeb00699c7b28b8f94152cbd57fe3a513b786dec9a110a6dd109973fbdc19c8b 5692960 why_2.18.dfsg-2_amd64.deb 576fd1106046d11108549cad0832d756d42fd4d107422a8526bfaa33e6cfa49f 293522 why-examples_2.18.dfsg-2_all.deb 4d768e3557cd1aad9e5d0c679bf5115094f64d7e675dfbcf0f311367b01ea271 672950 libjessie-ocaml-dev_2.18.dfsg-2_amd64.deb 5e2fa554dbb6364972dfaeab2463505c176ec890fb1f7cfd1845be1c259e2475 386510 libwhy-coq_2.18.dfsg-2_all.deb Files: f6a25ef2ae99bf106cadc730d2eb3276 1452 math optional why_2.18.dfsg-2.dsc 3b218f1444263c65ce07e2294c62a100 7405 math optional why_2.18.dfsg-2.diff.gz b11cf07b78f36c45930717fbd5ce8570 5692960 math optional why_2.18.dfsg-2_amd64.deb caf462227fcd517afd6c2127645f6aad 293522 doc optional why-examples_2.18.dfsg-2_all.deb cd3d84dbef542e4fc6de93988f63b92f 672950 libdevel optional libjessie-ocaml-dev_2.18.dfsg-2_amd64.deb 9a622ae387c2b74f29dc97f463b1c0ac 386510 libdevel optional libwhy-coq_2.18.dfsg-2_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.9 (GNU/Linux) iEYEARECAAYFAknWcckACgkQhryr/xwAx5BGYgCfXi8Hj42vzn2PIlZ2gDAA4AzD E+gAn1XAa0WyoUP9OUPfeOg6Fu2l5vqM =gD79 -----END PGP SIGNATURE----- Accepted: libjessie-ocaml-dev_2.18.dfsg-2_amd64.deb to pool/main/w/why/libjessie-ocaml-dev_2.18.dfsg-2_amd64.deb libwhy-coq_2.18.dfsg-2_all.deb to pool/main/w/why/libwhy-coq_2.18.dfsg-2_all.deb why-examples_2.18.dfsg-2_all.deb to pool/main/w/why/why-examples_2.18.dfsg-2_all.deb why_2.18.dfsg-2.diff.gz to pool/main/w/why/why_2.18.dfsg-2.diff.gz why_2.18.dfsg-2.dsc to pool/main/w/why/why_2.18.dfsg-2.dsc why_2.18.dfsg-2_amd64.deb to pool/main/w/why/why_2.18.dfsg-2_amd64.deb
