Accepted why 2.18.dfsg-2 (source all amd64)
-----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
Reply to: