-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Mon, 25 Apr 2011 12:11:03 +0200
Source: why
Binary: why why-examples libwhy-coq
Architecture: source amd64 all
Version: 2.29+dfsg-3
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-3) unstable; urgency=low
.
* Remove last added patch. The problem was in Makefile.dynamic, shipped
by frama-c-base which lacks some include statements.
- remove 0004-ocamlgraph-is-needed-to-link-frama-c-Jessie.patch
- Bump minimum version number for Frama-C to 20110201+carbon+dfsg-2~.
Checksums-Sha1:
fb173d610b6dccbd41985bd374fa4bba4d2285c8 1842 why_2.29+dfsg-3.dsc
9a31fd6fe1e13a88d408889452c58a082ea4bc2a 9473 why_2.29+dfsg-3.debian.tar.gz
34d7d2546298bf250728f2d87d607df4a48ca094 8775426 why_2.29+dfsg-3_amd64.deb
87f52df063d52d0b6fb54297aa895eae67780d73 195250 why-examples_2.29+dfsg-3_all.deb
bdb1f01a0c9b76643dc31e50f3fc11a46f97d080 415780 libwhy-coq_2.29+dfsg-3_all.deb
Checksums-Sha256:
beb7ea34230d51e5b98090c5e3e8861c33c5206468ac3ed3979e46a50902218d 1842 why_2.29+dfsg-3.dsc
528bc61076695ab71682c1d4fdf6175653cec29c6d99f5ca10ee34bafe77ddb0 9473 why_2.29+dfsg-3.debian.tar.gz
0041b2786bddc9a590a12ed61e08147a21584e0e865aa0db7aaa11e392b34904 8775426 why_2.29+dfsg-3_amd64.deb
fa0fc0e0627fec42e23f6a385c9a3eb4cbc9b1d75a21f945b1c5d4e50e3d9d6c 195250 why-examples_2.29+dfsg-3_all.deb
bc2c25d4b3f1271e46b7b26ecbd1f421a261cb9b535f2ea138c1fc389b29cb3b 415780 libwhy-coq_2.29+dfsg-3_all.deb
Files:
b1bb9b5d69f1b97c2cb57c571525ace5 1842 math optional why_2.29+dfsg-3.dsc
ed3043b91892b1246d099140dfb04d56 9473 math optional why_2.29+dfsg-3.debian.tar.gz
6ad5fed17a8e0860e68670474a0f4c39 8775426 math optional why_2.29+dfsg-3_amd64.deb
1be7578aa099a3718303387f72eb7d94 195250 doc optional why-examples_2.29+dfsg-3_all.deb
9008bd3781e409d3c82d79c9ac919560 415780 libdevel optional libwhy-coq_2.29+dfsg-3_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
iQEcBAEBAgAGBQJNtb6NAAoJEDe1GR0FRlJoPpoH/3TL/kOJoaiPh8HKA7saelHb
LotJZ/3Qw1+/UsHv4/Rhf8EQSvnzigtdS/vcyeZ9/tUxg5Cgnodj1kU3Ps492cJT
yqe1lZHNo4dpWJ/jc7hL9++faYzdvnTz4WuRqC9CwrO2baBLfjgRBVK4gjCf62OU
X8Kehv49rjUJ3DN2byRAdFpGSVIeKpccBj/aw8ba5zh3aHdGPPSIkCgqgg5X0F8M
dSHd968imN7JmlMuMtLft9M4xnnBmKK7GpYnOpqz8a96R3aHC+rIoYSsLxlVU1Yu
RlMtC2S5WVwlv4RMdscuznUmeywmxR5WB4oUjHhPFj2rGGsqV8HtmQPVjJQQWN8=
=wulp
-----END PGP SIGNATURE-----
Accepted:
libwhy-coq_2.29+dfsg-3_all.deb
to main/w/why/libwhy-coq_2.29+dfsg-3_all.deb
why-examples_2.29+dfsg-3_all.deb
to main/w/why/why-examples_2.29+dfsg-3_all.deb
why_2.29+dfsg-3.debian.tar.gz
to main/w/why/why_2.29+dfsg-3.debian.tar.gz
why_2.29+dfsg-3.dsc
to main/w/why/why_2.29+dfsg-3.dsc
why_2.29+dfsg-3_amd64.deb
to main/w/why/why_2.29+dfsg-3_amd64.deb
