Accepted why 2.30+dfsg-2 (source all amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Thu, 12 Jan 2012 17:50:39 +0100
Source: why
Binary: why why-examples libwhy-coq
Architecture: source amd64 all
Version: 2.30+dfsg-2
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 - Software verification tool
why-examples - Examples of programs certified with Why
Changes:
why (2.30+dfsg-2) unstable; urgency=low
.
* Rebuilt with latest coq-float 1:8.3pl1-1 (no source changes).
Checksums-Sha1:
12e9c7232e990cb5d4aabccd7dd8642b4ecf689f 1968 why_2.30+dfsg-2.dsc
75aaae50cda45497440c9cfd23fc35751af47efd 10809 why_2.30+dfsg-2.debian.tar.gz
efead1deff8dc6a2254e1ff901ed60e41e6e5751 8114442 why_2.30+dfsg-2_amd64.deb
3a0850a3da746c4480adfe9897799c9423e92dac 194186 why-examples_2.30+dfsg-2_all.deb
91d37157ed65baadc1a70264d05b6a1a19e7541f 416960 libwhy-coq_2.30+dfsg-2_all.deb
Checksums-Sha256:
ba7461e17039b45defcfeb5bcd8f6234892b0a502090f28b8f8f1c4c942765a9 1968 why_2.30+dfsg-2.dsc
fc5066e2ba007013f5a4ed465e7783411a584aae1e9e5a5676a9509762f7e8fa 10809 why_2.30+dfsg-2.debian.tar.gz
8ef404fefdfbcf8ba6deed4dc50ad720532b8a086faf34e409573bbe60fcaebf 8114442 why_2.30+dfsg-2_amd64.deb
bc5188203848ddee52225b8aef29098e52bbbdbae11b86db7254a9415c2b4f98 194186 why-examples_2.30+dfsg-2_all.deb
05a854fe2e7a3f1c9c41a76e31844f50f6cd82a6ab9e1d4702f7322f3561de39 416960 libwhy-coq_2.30+dfsg-2_all.deb
Files:
9c0a36ad1f24d025a9c3165402a10add 1968 math optional why_2.30+dfsg-2.dsc
056b7fe454839b6022b35d5c4a164f39 10809 math optional why_2.30+dfsg-2.debian.tar.gz
d7faf8348094037b290a303fc32cda82 8114442 math optional why_2.30+dfsg-2_amd64.deb
1fda694eb258f5d7b2c106d1250fffef 194186 doc optional why-examples_2.30+dfsg-2_all.deb
501b074f2d3d7cc45423ed179a159bf4 416960 libdevel optional libwhy-coq_2.30+dfsg-2_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
iQEcBAEBAgAGBQJPDxGLAAoJEDe1GR0FRlJoM6oH/0dYwE1BgcYKtqXnlXXeSGei
T8nMKCBXP7FHa57voeNz36RE+kVMA74RKSm2VkA36NtVJZelS25OaPofPUEHhT8M
6xlZIi1sJ0wa8rEtBxg9GSOmMj4DYqeM9CM6/eYs6gacYJAz++eH25TAr4wKSXCk
VBodDdcHNQgVMwalCVil4YJV3X8F5aKQR35Mq9ok79bIO3TASe/YoT+s7ZqxZTV2
IFpDPyjqwxkoD4WIcmiYqn/cQO2dDiH2BG8Y063en7lnt/VNcquhxVzZHwXwv8H1
PCGJWDnpE0AW4H566vUs+MbbCrCpdJxhPnj9mHtBBfTq66ty0ydxH+MegPABB/8=
=aB9g
-----END PGP SIGNATURE-----
Accepted:
libwhy-coq_2.30+dfsg-2_all.deb
to main/w/why/libwhy-coq_2.30+dfsg-2_all.deb
why-examples_2.30+dfsg-2_all.deb
to main/w/why/why-examples_2.30+dfsg-2_all.deb
why_2.30+dfsg-2.debian.tar.gz
to main/w/why/why_2.30+dfsg-2.debian.tar.gz
why_2.30+dfsg-2.dsc
to main/w/why/why_2.30+dfsg-2.dsc
why_2.30+dfsg-2_amd64.deb
to main/w/why/why_2.30+dfsg-2_amd64.deb