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

Reply via email to