-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Wed, 20 May 2009 15:38:58 +0200
Source: why
Binary: why why-examples libjessie-ocaml-dev libwhy-coq
Architecture: source amd64 all
Version: 2.18.dfsg-4
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Mehdi Dogguy <dogguy@pps.jussieu.fr>
Description:
libjessie-ocaml-dev - Jessie library for C code analysis
libwhy-coq - Why library for Coq
why - A software verification tool
why-examples - Examples of programs certified with Why
Changes:
why (2.18.dfsg-4) unstable; urgency=low
.
* libjessie-ocaml-dev:
- Do not install jc.cm{x,}a
- Only jc.{o,cmx,cmo,cmi} are installed.
* Remove configure.dpatch
Checksums-Sha1:
0af90914d58e483984a39f3c638f5cb1512972b4 1452 why_2.18.dfsg-4.dsc
5cb3c41795202d9a62e369f68bbfc5414f6b58fb 7563 why_2.18.dfsg-4.diff.gz
d567701f366df97265d9c2adb53dfbc5ca3395f7 5693384 why_2.18.dfsg-4_amd64.deb
621510cab9e938fe59cbb81ddcb84df233b02e96 293716 why-examples_2.18.dfsg-4_all.deb
d6a340052535c5b3f058eb0432cb072b12581d48 689918 libjessie-ocaml-dev_2.18.dfsg-4_amd64.deb
6b2ad5dfd6c3c306f916018731dafe4ed5015d87 386816 libwhy-coq_2.18.dfsg-4_all.deb
Checksums-Sha256:
d44a11df853c704acd13657d9414bd0c08a7780dabb9921fc46e7d8549a7c64a 1452 why_2.18.dfsg-4.dsc
02c5c9915c8f545c6bc0d1ab8de7a0e9cacfcc704b9caa24bb06a0881984ee79 7563 why_2.18.dfsg-4.diff.gz
c50cd8d1fcb4075f2e5ac0cf1531c25984f31c2cab117c5238557d52f22819a9 5693384 why_2.18.dfsg-4_amd64.deb
66126e245e731f4539abc1f48ce810d7aa60b68ada85b8c0600bf5830f3786da 293716 why-examples_2.18.dfsg-4_all.deb
7b49bcddec5887a7714603d1a74beb85bb8f152794abc2e629d25515488e7ceb 689918 libjessie-ocaml-dev_2.18.dfsg-4_amd64.deb
bad27bc2547b9fe665fc4f0a8271f9623b0ff2de777b453fd140a70c25b5e88b 386816 libwhy-coq_2.18.dfsg-4_all.deb
Files:
d85e6754b92a8b136deaa2a637f2cbbb 1452 math optional why_2.18.dfsg-4.dsc
33ce9d94f5dfee499ecb5e37dc22f2d7 7563 math optional why_2.18.dfsg-4.diff.gz
9d5052835ccd7d5de972f589d91ea5ac 5693384 math optional why_2.18.dfsg-4_amd64.deb
c1f343465863596c347084336e0228e0 293716 doc optional why-examples_2.18.dfsg-4_all.deb
cffdc775594819ded68a76dbbadb78f1 689918 ocaml optional libjessie-ocaml-dev_2.18.dfsg-4_amd64.deb
3cfcfe5fefb91138aa4e9692b50c14a0 386816 libdevel optional libwhy-coq_2.18.dfsg-4_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)
iEYEARECAAYFAkoVIksACgkQhryr/xwAx5AjrACcDww6hdPzgFHnllvGBpTMyqzp
Gn0AoJKYcB7a8zImeiSt1BzPhTcKDs4g
=5yby
-----END PGP SIGNATURE-----
Accepted:
libjessie-ocaml-dev_2.18.dfsg-4_amd64.deb
to pool/main/w/why/libjessie-ocaml-dev_2.18.dfsg-4_amd64.deb
libwhy-coq_2.18.dfsg-4_all.deb
to pool/main/w/why/libwhy-coq_2.18.dfsg-4_all.deb
why-examples_2.18.dfsg-4_all.deb
to pool/main/w/why/why-examples_2.18.dfsg-4_all.deb
why_2.18.dfsg-4.diff.gz
to pool/main/w/why/why_2.18.dfsg-4.diff.gz
why_2.18.dfsg-4.dsc
to pool/main/w/why/why_2.18.dfsg-4.dsc
why_2.18.dfsg-4_amd64.deb
to pool/main/w/why/why_2.18.dfsg-4_amd64.deb
