[Pkg-ocaml-maint-commits] [SCM] why packaging branch, master, updated. debian/2.13-1-44-g45ec02f
Mehdi Dogguy
dogguy at pps.jussieu.fr
Sat Dec 20 09:27:20 UTC 2008
The following commit has been merged in the master branch:
commit 45ec02f0183da1c103efe2c3885063fc53ee46c3
Author: Mehdi Dogguy <dogguy at 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
More information about the Pkg-ocaml-maint-commits
mailing list