The following commit has been merged in the master branch: commit 45ec02f0183da1c103efe2c3885063fc53ee46c3 Author: Mehdi Dogguy <dog...@pps.jussieu.fr> Date: Sat Dec 20 10:27:11 2008 +0100
why-examples depends on why diff --git a/debian/control b/debian/control index 8fe3dc7..6b9566e 100644 --- a/debian/control +++ b/debian/control @@ -22,6 +22,7 @@ Description: A software verification tool Package: why-examples Architecture: all +Depends: 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