Accepted why 2.29+dfsg-4 (source all amd64)
-----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-maint@lists.debian.org>
Changed-By: Mehdi Dogguy <mehdi@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