-----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
