Accepted why 2.26+dfsg-4 (source all amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Fri, 11 Mar 2011 08:03:27 +0100
Source: why
Binary: why why-examples libwhy-coq
Architecture: source amd64 all
Version: 2.26+dfsg-4
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Stéphane Glondu <glondu@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.26+dfsg-4) unstable; urgency=low
.
* Team upload
* Rebuild with coq 8.2.pl2+dfsg-2 (no changes)
Checksums-Sha1:
b1d0baf280bee7810852aa1af5342444c5cff88a 2229 why_2.26+dfsg-4.dsc
bd5679f6e4ad314fc4042fe84054afbd2aa7fab7 11365 why_2.26+dfsg-4.debian.tar.gz
d8da4fadf0708cb0a2983c533aef7e2a85ab520e 8579472 why_2.26+dfsg-4_amd64.deb
ec4c071f379ab913a607daf98b3bb8772dcfaca5 188726 why-examples_2.26+dfsg-4_all.deb
f9bd70d7d8dfd1a0a6442b760f1e6bbc6df99975 516088 libwhy-coq_2.26+dfsg-4_all.deb
Checksums-Sha256:
185ae8d706a42fb5d97fb6c26e63ed6e86efd9c9fd0833d24b67dc72877e91a5 2229 why_2.26+dfsg-4.dsc
b30f9f3a6ec4cdc37719673cd3a9af3162a9de1740240a1128cf8b5acd5e0405 11365 why_2.26+dfsg-4.debian.tar.gz
a73c46b9779eefd5bb88ceaafd81718a164a9eef97682ff55d725a64953c8ef0 8579472 why_2.26+dfsg-4_amd64.deb
59599db36cd6f279ecdf5344d2e64800dfad54b6e114cbe9b15447b2bb308cf3 188726 why-examples_2.26+dfsg-4_all.deb
cd6e5d807ed2cbf5e822f11fb03d4e4e88db2d04ba3e1891919bdd85273cb8ec 516088 libwhy-coq_2.26+dfsg-4_all.deb
Files:
607c6688e4c786f7cc922a468e169fb9 2229 math optional why_2.26+dfsg-4.dsc
e8618f385b7664192f75a9d2db66f00b 11365 math optional why_2.26+dfsg-4.debian.tar.gz
cdc40cb4998ff9b2da5865a409617afe 8579472 math optional why_2.26+dfsg-4_amd64.deb
9e75baa42132c518566cc60bc0e23398 188726 doc optional why-examples_2.26+dfsg-4_all.deb
d98643a7032f152086479e2a8f9d5356 516088 libdevel optional libwhy-coq_2.26+dfsg-4_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
iQIcBAEBCgAGBQJNedSEAAoJEHhT2k1JiBrTU6QP/RZJtB3S+kdsuvSVVhqD7Bo1
aw3H8JUbXT3hjdMrsgRDuBN+/WFuueOWlEHNkVj97GcPRNsBy4BeWH2XvQwzVSES
KXQ44+YoSMgI1hG2MnGFXuPewyO23jtWKDzlnmGoncJ5Kh7zXUp0Fq4nexPlJHQl
uUFMlSB8fm0OHz1lrX8l3VuZQoe1UaKZtlDYwHJc4F87N2Bmjp84KDQLbzNtBvZM
tS3MG/VN/nq9s64GmSn412ROQ5JzSH5tMKJcb50oShWupQU6/qaeUrxOpQOs1PVr
9I2w9TH0YDmg+LIMS47cTl3rYs72VQi8DkMrbQxJXr/SGaMrK8fOM3vYzHIphwkg
uu+VmnCIoJqCfClGZratC+VQDxsgBcrTj+C1AbtGrYXtjdUPSM2RUkIC9GnHv27g
Lbn1BxMrvGGNrAjm3B0yJojEYovPpUjFmWQsAPiRTeFHUCxFiwaykWui6LZRPKU6
SvEpp8LcfHs6Fg1Gx2R7Ig/ZGaWpt0+oGx0fyJd4oOyrD/2bH39L2uAH4l3TBDSw
Sk+t12IE4nSon+ERlaoRJ3LRE+eer9xCR7cz8EaYkUBNkwHVytrw6WQN4bpx7tas
8aLfF1yZ7ceGjQ7F9yXz/P0auxxM6iUZz7EDCFTVpcgE2h6thwqdebNbEHRPA//c
7G36jSC1h+4GuAz1D8Xq
=9EHa
-----END PGP SIGNATURE-----
Accepted:
libwhy-coq_2.26+dfsg-4_all.deb
to main/w/why/libwhy-coq_2.26+dfsg-4_all.deb
why-examples_2.26+dfsg-4_all.deb
to main/w/why/why-examples_2.26+dfsg-4_all.deb
why_2.26+dfsg-4.debian.tar.gz
to main/w/why/why_2.26+dfsg-4.debian.tar.gz
why_2.26+dfsg-4.dsc
to main/w/why/why_2.26+dfsg-4.dsc
why_2.26+dfsg-4_amd64.deb
to main/w/why/why_2.26+dfsg-4_amd64.deb
Reply to: