-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Fri, 27 Feb 2009 14:09:32 +0100 Source: why Binary: why why-examples libjessie-ocaml-dev libwhy-coq Architecture: source i386 all Version: 2.18.dfsg-1 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 code analysis libwhy-coq - Why library for Coq why - A software verification tool why-examples - Examples of programs certified with Why Closes: 498713 Changes: why (2.18.dfsg-1) unstable; urgency=low . [ Mehdi Dogguy ] * New upstream release. * New binary packages: + libjessie-ocaml-dev: - Build and install jc.{cma,cmxa,a} using jessie_lib.dpatch - Install jc.cmi - Add a META file for Jessie library + why-examples: - why-examples recommends why + libwhy-coq: - Install .vo files in /usr/lib/coq/user-contrib, closes: #498713. * debian/rules: + do not compress .v,.sx,.why files + Use debhelper 7 + Move logo in /usr/share/why (using logopath.dpatch) + Setting up manpages for krakatoa, gwhy-bin, tool-stat and why-config * debian/control: + Bump standards version to 3.8.0, no changes needed. + Why recommends alt-ergo and suggest libwhy-coq. + Add missing runtime dependency for why (on non-native-architecures). + Change vcs-* fields to point to Git repository + Depend on coq-${F:CoqABI} instead of Coq + Add DMUA flag with Sam's blessing + Remove not needed build dependency: ocamlweb * Add patch descriptions to configure.dpatch and logopath.dpatch . [ Samuel Mimram ] * Use predefined variables from ocamlvars.mk and coqvars.mk. Checksums-Sha1: 7e03d5fa05acb73354ee975521c425e1661c6122 1452 why_2.18.dfsg-1.dsc 8ca25b8294f801d6955bc5d8556a334290cfb6ce 2409443 why_2.18.dfsg.orig.tar.gz 7b6c87b4ae32dbe85a852ee4e167bc90c3c3d426 7299 why_2.18.dfsg-1.diff.gz 3ed712caa99ad2bf413bea566c67ec612a909b1d 4494240 why_2.18.dfsg-1_i386.deb 696a64904a2b769a67a6f8c9e3ea3dfeba9c9a49 295502 why-examples_2.18.dfsg-1_all.deb cda4264d6b45f4ecc7a4eb5e886a678f0b344f73 670286 libjessie-ocaml-dev_2.18.dfsg-1_i386.deb 35cc5ee153885b0bfeacfbe51652bd66b9c82c10 370230 libwhy-coq_2.18.dfsg-1_all.deb Checksums-Sha256: 55cd0d0a9ae51078593d31e733a3537d3abaf3cf5d70e09ae1814365f36285e9 1452 why_2.18.dfsg-1.dsc ec0aea397806b49096cbbabf271632331d6018e481c7b728b7c7e0b49c9829e1 2409443 why_2.18.dfsg.orig.tar.gz e32e22cce30c7220e96453fe13d902ef3477319147cc2cfb60e38f260e8e3fb6 7299 why_2.18.dfsg-1.diff.gz 35db88c70b5e90c694d80dc6badbd82c54de15c21e22feab66961d5c01654be5 4494240 why_2.18.dfsg-1_i386.deb cecd341805120b65a83a3255878e58cbd27e98224fb4abeec3b7c944db459e87 295502 why-examples_2.18.dfsg-1_all.deb 36be24bdfa59d7685159eeac2409e88946b9c2bf248506c65cddb0d8bbc4f09a 670286 libjessie-ocaml-dev_2.18.dfsg-1_i386.deb 9abb89fea1ecbcf99d5e46026f30d1d8c133cd9c65a36df150f3f8b9caf10ce2 370230 libwhy-coq_2.18.dfsg-1_all.deb Files: e63dd9f7ea61b34531330538eade9afc 1452 math optional why_2.18.dfsg-1.dsc d2afe1587e1d09640ee7126ea9e12adc 2409443 math optional why_2.18.dfsg.orig.tar.gz fa3c4aaaee597e660bd9ab461020eb48 7299 math optional why_2.18.dfsg-1.diff.gz 45f607afa38c0149613aabf8bfd8d874 4494240 math optional why_2.18.dfsg-1_i386.deb 5a9271f9daa32921f7b7367fbe3b66a3 295502 doc optional why-examples_2.18.dfsg-1_all.deb f8dc15d48cff45a62727cd20c9b33079 670286 libdevel optional libjessie-ocaml-dev_2.18.dfsg-1_i386.deb 0d1a9073b7bb355ce6c080528c949cea 370230 libdevel optional libwhy-coq_2.18.dfsg-1_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.9 (GNU/Linux) iEYEARECAAYFAknGU6wACgkQIae1O4AJae+HEQCcDx2x3dib3jJWUyXzZTUkptUh xwAAn1Zho0huVNdJof6Dzl++7927th9f =IsNv -----END PGP SIGNATURE----- Accepted: libjessie-ocaml-dev_2.18.dfsg-1_i386.deb to pool/main/w/why/libjessie-ocaml-dev_2.18.dfsg-1_i386.deb libwhy-coq_2.18.dfsg-1_all.deb to pool/main/w/why/libwhy-coq_2.18.dfsg-1_all.deb why-examples_2.18.dfsg-1_all.deb to pool/main/w/why/why-examples_2.18.dfsg-1_all.deb why_2.18.dfsg-1.diff.gz to pool/main/w/why/why_2.18.dfsg-1.diff.gz why_2.18.dfsg-1.dsc to pool/main/w/why/why_2.18.dfsg-1.dsc why_2.18.dfsg-1_i386.deb to pool/main/w/why/why_2.18.dfsg-1_i386.deb why_2.18.dfsg.orig.tar.gz to pool/main/w/why/why_2.18.dfsg.orig.tar.gz
