The following commit has been merged in the master branch: commit 55099ce38423022b8fd8f36b9444f9afcd3debe3 Author: Mehdi Dogguy <dog...@pps.jussieu.fr> Date: Sun Jan 4 16:26:26 2009 +0100
why-examples recommends why and why recommends alt-ergo diff --git a/debian/changelog b/debian/changelog index 55f2868..5b82e33 100644 --- a/debian/changelog +++ b/debian/changelog @@ -7,9 +7,11 @@ why (2.17.dfsg-1) UNRELEASED; urgency=low - Install jc.cmi + Add a META file for Jessie library * Add a binary package why-examples + + why-examples recommends why * debian/rules: + do not compress .v,.sx,.why files * Bump standards version to 3.8.0, no changes needed. + * Why recommends alt-ergo. * Installing .vo files in /usr/lib/coq/user-contrib, closes: #498713. * Move logo in /usr/share/why (using logopath.dpatch) * Add patch descriptions to configure.dpatch and logopath.dpatch @@ -19,7 +21,7 @@ why (2.17.dfsg-1) UNRELEASED; urgency=low * Remove not needed build dependency ocamlweb * Using debhelper 7 - -- Mehdi Dogguy <dog...@pps.jussieu.fr> Wed, 17 Dec 2008 18:35:07 +0100 + -- Mehdi Dogguy <dog...@pps.jussieu.fr> Sun, 04 Jan 2009 16:24:52 +0100 why (2.13-2) unstable; urgency=low diff --git a/debian/control b/debian/control index 6bfecca..ad3d16d 100644 --- a/debian/control +++ b/debian/control @@ -12,6 +12,7 @@ Package: why Architecture: any Depends: ${shlibs:Depends} Suggests: coq +Recommends: alt-ergo Description: A software verification tool Why aims at being a verification conditions generator (VCG) back-end for other verification tools. It provides a powerful input language @@ -22,7 +23,7 @@ Description: A software verification tool Package: why-examples Architecture: all -Depends: why +Recommends: why Section: doc Description: Examples of programs certified with Why Why aims at being a verification conditions generator (VCG) back-end -- why packaging _______________________________________________ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/mailman/listinfo/pkg-ocaml-maint-commits