-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Mon, 25 Apr 2011 00:29:49 +0200
Source: why
Binary: why why-examples libwhy-coq
Architecture: source amd64 all
Version: 2.29+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 - A software verification tool
why-examples - Examples of programs certified with Why
Changes:
why (2.29+dfsg-2) unstable; urgency=low
.
* Fix FTBFS on armel.
- add 0004-ocamlgraph-is-needed-to-link-frama-c-Jessie.patch
Checksums-Sha1:
8d633202a27f7a727e3d5424d40e753873ec18a4 1842 why_2.29+dfsg-2.dsc
baf4a89164837f463a459e8cfe2e955b36c59b7e 9570 why_2.29+dfsg-2.debian.tar.gz
3a6e42783ac095e6139980b6322288be137e1d71 8775084 why_2.29+dfsg-2_amd64.deb
f1d86328745aa82d9aba9bd8dfbe3c378737bde0 195172 why-examples_2.29+dfsg-2_all.deb
6ddf4f74b2065c9f87e6eb356d64d4d07f95c6f6 415668 libwhy-coq_2.29+dfsg-2_all.deb
Checksums-Sha256:
e215a193888d7655570747e8def0f3b6427211c308e3157954eaa4b015596da4 1842 why_2.29+dfsg-2.dsc
912038f897c415942182a5aa741306b94fe435720e9672e92df408418dfb58e2 9570 why_2.29+dfsg-2.debian.tar.gz
a75580a6fc6ba6a5f398e74e7d5c08116bcffc2174928fbd8766af1954e6332f 8775084 why_2.29+dfsg-2_amd64.deb
6d208fdf312f34f6df5c7832b682df46b0c847511122af43e67f36f472555fb1 195172 why-examples_2.29+dfsg-2_all.deb
f2e4a17266619fbf4910e33e3a1b1b3b8209644f8540b7eb0d2a998d8abd336f 415668 libwhy-coq_2.29+dfsg-2_all.deb
Files:
c0ab493904e880aedb63bfa61c5b25d6 1842 math optional why_2.29+dfsg-2.dsc
637812c33f8828dec650ba67679195b1 9570 math optional why_2.29+dfsg-2.debian.tar.gz
0e5e93c24f4dbb4e3dcc4a0fcd3cc3ab 8775084 math optional why_2.29+dfsg-2_amd64.deb
c45f6c592d6d17bac0857f3324f37b68 195172 doc optional why-examples_2.29+dfsg-2_all.deb
806ef107235a8b1a909734b3e21d0779 415668 libdevel optional libwhy-coq_2.29+dfsg-2_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
iQEcBAEBAgAGBQJNtKYcAAoJEDe1GR0FRlJozkAH/iNheUsBMwokYvzNv/lc9qPA
Le3dx7izTguAlTTUspEu40M2W6pKJ4zsj2F7N6b8D8n1torgd11t9kO7OIvUSYFb
ZHrkh3p0tC+IbbmjQT614e4H9hoO2NAkIIPEJBJfLZALHBCM//CjzTW6pxVHcPZx
bzfsb1dfUh5F2dsNlL9lkPj3Oi823jA7TeR5ms6wGHAT/l2VIWLCd6qw0gNWALbI
fCnl1dtq+XdYusSMK+oaFYGRoz+LnWuLwkL4gOaKIoN1vD7Bzpg8xBm4fJoydmP4
TL2FR2O4O1tzNudkSriGAqQ4jgsV+fdLD30D31EUlu9CutEb8aWXTLciy2jMMhc=
=6zxl
-----END PGP SIGNATURE-----
Accepted:
libwhy-coq_2.29+dfsg-2_all.deb
to main/w/why/libwhy-coq_2.29+dfsg-2_all.deb
why-examples_2.29+dfsg-2_all.deb
to main/w/why/why-examples_2.29+dfsg-2_all.deb
why_2.29+dfsg-2.debian.tar.gz
to main/w/why/why_2.29+dfsg-2.debian.tar.gz
why_2.29+dfsg-2.dsc
to main/w/why/why_2.29+dfsg-2.dsc
why_2.29+dfsg-2_amd64.deb
to main/w/why/why_2.29+dfsg-2_amd64.deb
