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