-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Thu, 10 Sep 2009 14:11:00 +0200
Source: why
Binary: why why-examples libjessie-ocaml-dev libwhy-coq
Architecture: source amd64 all
Version: 2.19+dfsg-2
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Mehdi Dogguy <mehdi@debian.org>
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.19+dfsg-2) unstable; urgency=low
.
* Install why library in usr/share since there is no arch dependent
file.
Checksums-Sha1:
bb3f8460f878320684dcfced3ae7f8be96e5391f 2122 why_2.19+dfsg-2.dsc
293a3311962ddfd46595a93f8d66663dc7bb5cee 8042 why_2.19+dfsg-2.diff.gz
b5041aa062069ddc4ad0a22d35d5a728b76ecb44 5820816 why_2.19+dfsg-2_amd64.deb
f914c566ee9d4e96ee606feaa7431d09802723d2 290342 why-examples_2.19+dfsg-2_all.deb
8a07c4dba0ade23e180272a66b59f381eec79ca2 683898 libjessie-ocaml-dev_2.19+dfsg-2_amd64.deb
7e11f9ebb897f98767fa79d1fb534fc359276bb6 406972 libwhy-coq_2.19+dfsg-2_all.deb
Checksums-Sha256:
aef709500ad4a0f29912680f46d404ca21900dc57c30f756271e8b4cf4c9dfb5 2122 why_2.19+dfsg-2.dsc
1e8aede0f2db600c28ce82b57aa604a60da5aafa7929d368571feaf0e5313d10 8042 why_2.19+dfsg-2.diff.gz
d25f0c93e5d22a8a5c75438154d2a3c55cd53187c48abb8f68ff65117cce8fe9 5820816 why_2.19+dfsg-2_amd64.deb
7b945f479cb47a7219e09788695ccc748df3fd9af6670dab1aae82b0805fa30f 290342 why-examples_2.19+dfsg-2_all.deb
1fde3b89717bdd07eb1e4cbaad4cc1be1373718c1bd735db6ca98098d7321a1e 683898 libjessie-ocaml-dev_2.19+dfsg-2_amd64.deb
8874ce28c931a8fd1b7dc3bd2cd009540aed573bf0eddad4b5fa409cb74c65b5 406972 libwhy-coq_2.19+dfsg-2_all.deb
Files:
df4ccdc6f4c1404e77eae9bf323cc2b5 2122 math optional why_2.19+dfsg-2.dsc
01184f329e8f406c01a7342fda4b76f6 8042 math optional why_2.19+dfsg-2.diff.gz
6ae60ecb6cbf31eb4180de75036a1407 5820816 math optional why_2.19+dfsg-2_amd64.deb
82e3bdd5fcab526b050310d034331e89 290342 doc optional why-examples_2.19+dfsg-2_all.deb
06ff9a44d74027632b08a4125dee5008 683898 ocaml optional libjessie-ocaml-dev_2.19+dfsg-2_amd64.deb
238d1c68e0d69ec62aadd902351250bc 406972 libdevel optional libwhy-coq_2.19+dfsg-2_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)
iQIcBAEBCAAGBQJKqQCsAAoJEDO+GgqMLtj/ejoQANICCJFSpTcJ9vvQB5vfxNBc
pgFEZpe8cQKDg/R3odjk3/t+m/4Q4A22VRr1odWyTVaRpbHzy/Ok7r6y6D6Na2MI
/+jypS28bgSW9OiFe3OkGNfkI1AFA+HO+b8YxeU7UqEXVvtiBMx41c+mTgf+6gQK
BLAkeyC5YswK/dovXXuiDoGCEz3qGHzS6u1XeeHMO9ir17XQTBFTJYfX1HcEEfph
FHhwohPANo0BbXgkskUIlbRBgWySud52ZhQZ4RMaIDlG0x9e/UqX7NGNphz8iZ9+
TfThkNd7hL0Quu7h0QiJBAhhTGcu90BwJ8Et8h5VYU8o2cbhkeUqb4wBpkHeIso9
UoBlVodUMXeaqr46tvCP9vlkGdMfUJOIlEY2pLl3i0ItirdLOEFJncDFjFxugvua
JEKC/MaVFEj9jPh1rSFUPN/fYroPKOK9OCPkVIoQ4il+xVHZpeEynhBRmNjPCXr4
Uz7Fb4S4LlRPZ8tJMKDnI5tKPRF9upXlox/lfeyBsPJIgYGxm89FW4ndV4Is5qWh
ygS0dffU58h+efu7zavanabGucSYDeRTTVxy26DOPTewPQLUxPWZRR9ddNWDRB3W
E01f5kza50iI2kCvD42tnaBfPKFaAdELXunpkAEZymbyrzvjDLqDEqNMg5rqRCQu
m0kcF/fBzpgoGtokrz1x
=fKP3
-----END PGP SIGNATURE-----
Accepted:
libjessie-ocaml-dev_2.19+dfsg-2_amd64.deb
to pool/main/w/why/libjessie-ocaml-dev_2.19+dfsg-2_amd64.deb
libwhy-coq_2.19+dfsg-2_all.deb
to pool/main/w/why/libwhy-coq_2.19+dfsg-2_all.deb
why-examples_2.19+dfsg-2_all.deb
to pool/main/w/why/why-examples_2.19+dfsg-2_all.deb
why_2.19+dfsg-2.diff.gz
to pool/main/w/why/why_2.19+dfsg-2.diff.gz
why_2.19+dfsg-2.dsc
to pool/main/w/why/why_2.19+dfsg-2.dsc
why_2.19+dfsg-2_amd64.deb
to pool/main/w/why/why_2.19+dfsg-2_amd64.deb
