Accepted why 2.19+dfsg-1 (source all amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Thu, 27 Aug 2009 20:11:39 +0200
Source: why
Binary: why why-examples libjessie-ocaml-dev libwhy-coq
Architecture: source amd64 all
Version: 2.19+dfsg-1
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-1) unstable; urgency=low
.
* New Upstream Version
* Use my Debian mail address, Remove DMUA
* Add a 'Homepage' field in debian/control
* Referesh path jessie_lib.dpatch
* Fix long description for why-examples
Checksums-Sha1:
045134746ac6b0d37d71c22745f2591c15466829 2122 why_2.19+dfsg-1.dsc
44b3db61395a3965e305fc6cb649618941e32581 2403513 why_2.19+dfsg.orig.tar.gz
46f3c7a471e21921888e0844b0f419dfc4f8a29f 7985 why_2.19+dfsg-1.diff.gz
d37b9f418327f8c085867271070cfad8cf9ef449 5805680 why_2.19+dfsg-1_amd64.deb
410cb1a0856fe19f779ee745ac4429189faaf939 290294 why-examples_2.19+dfsg-1_all.deb
c2e296dc7a79cfb87a6158fef826a593a2e23add 683840 libjessie-ocaml-dev_2.19+dfsg-1_amd64.deb
8465172090832074504f5a18cd470c04604b2797 406928 libwhy-coq_2.19+dfsg-1_all.deb
Checksums-Sha256:
2c91ee45ce021a1a566f2aa09ef1ea7fe686f79cc44f6c0a23988558ecf252fc 2122 why_2.19+dfsg-1.dsc
1a783648763dffe2cbfd40ece08e7de34de5cfb00d0a8f0298cc9ae620cef931 2403513 why_2.19+dfsg.orig.tar.gz
4fdce20854d8db679dce3e259e66b637679f4b7b22fe4194dc0a842b6ce2ff48 7985 why_2.19+dfsg-1.diff.gz
bf3c657c5c01109b86f75518e19d22500b89d3a540d6eb3e95bd092bdff6def6 5805680 why_2.19+dfsg-1_amd64.deb
34c0632237a0a94fe801a8d9f54dad0b050af7fc336f2047ee40dbe27f6819e0 290294 why-examples_2.19+dfsg-1_all.deb
9217b1dd4776171d001c1cc70bac4ddf4d9c2419265ec4c30920cee8780f68dc 683840 libjessie-ocaml-dev_2.19+dfsg-1_amd64.deb
32d030d391ae5737796d4a64fea3a47078189db370c7d9a65759f152cdd22720 406928 libwhy-coq_2.19+dfsg-1_all.deb
Files:
0adf3ca05a55cfb7d97fadda20287248 2122 math optional why_2.19+dfsg-1.dsc
14329ad261fb3b2536930f2a1675c6d2 2403513 math optional why_2.19+dfsg.orig.tar.gz
8f71c55401c6f8a98653cb3b083592e6 7985 math optional why_2.19+dfsg-1.diff.gz
6c1834c193cb8c5a5ec1d739aeda0b6c 5805680 math optional why_2.19+dfsg-1_amd64.deb
ed4ffd1d8965c59c5f851bb28d48a58e 290294 doc optional why-examples_2.19+dfsg-1_all.deb
7bbad38afc8fde8d92b1fd57ac39cf35 683840 ocaml optional libjessie-ocaml-dev_2.19+dfsg-1_amd64.deb
de3da2f522d47ecd3938cb56bf545d8b 406928 libdevel optional libwhy-coq_2.19+dfsg-1_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)
iQIcBAEBCAAGBQJKl9lRAAoJEDO+GgqMLtj/sF4P+gNdoNpRK+28CzRaFq0gYAbJ
9wIrbPLbLGUJXTpRaknSUWJqGzh9cXstaAuSrCJ2Qbg8r0v11muz/vgrnzMdH6JV
jvS0anXG4oPvG4SBkf+6wPWtnsU+aYDHmvbX929SlgP3gw0VZA46TbK/thmdQ0VI
M+MHkJhlgPtN+GA1cexwGEXkFm+stUZ+7fJG238sb5CIrHGejWvs7yuqFuLK8rgx
VcJfKSXZuAkLbMhiT2GNCZfa5lo6GkKm0wamr6uF5k0qwoLH7J3hhcmVxF/gMpaF
H8asNXiF3LdRbAP6i0uyUeJVNbnnYYpGjK2hB3uTzvaNGOC8hiFKBFXlxXUNwpih
6t3R2HUdrjbC5wabQzaoSiS9SmIVf5CHscMf8/bN3lFYxPDUKVFbfJoXt16XfrIN
+olvo30l0Zj7zpM/u3aVJdY2oUQ4KhrfKurXwo9JjsOzzgE/d2g2a618OuWb05TV
0nN/4tQycABsr7GbA29f1Y+Sa32JdRpzYbPtjeSw8LwY08R+J26XvwM02e0uqKAV
/voK5qHUNJ4H0+5UGC1vnuhuAfR8NaEPUmj2vdsKlu5yxk0CVy6fQM5OsntlJoDA
UsTw0ZGdqJ2aggI9t1QfWw3Nerv5pOkhH1US3n7cyInwMbkYx48nQ/x/DUzFoe9T
RzvjlE1kZLiIqhIrjC97
=NZud
-----END PGP SIGNATURE-----
Accepted:
libjessie-ocaml-dev_2.19+dfsg-1_amd64.deb
to pool/main/w/why/libjessie-ocaml-dev_2.19+dfsg-1_amd64.deb
libwhy-coq_2.19+dfsg-1_all.deb
to pool/main/w/why/libwhy-coq_2.19+dfsg-1_all.deb
why-examples_2.19+dfsg-1_all.deb
to pool/main/w/why/why-examples_2.19+dfsg-1_all.deb
why_2.19+dfsg-1.diff.gz
to pool/main/w/why/why_2.19+dfsg-1.diff.gz
why_2.19+dfsg-1.dsc
to pool/main/w/why/why_2.19+dfsg-1.dsc
why_2.19+dfsg-1_amd64.deb
to pool/main/w/why/why_2.19+dfsg-1_amd64.deb
why_2.19+dfsg.orig.tar.gz
to pool/main/w/why/why_2.19+dfsg.orig.tar.gz
Reply to: