[Pkg-ocaml-maint-commits] [SCM] aac-tactics packaging branch, master, updated. debian/0.3-1-3-ge1355f4
Stephane Glondu
steph at glondu.net
Sat Sep 22 15:11:19 UTC 2012
The following commit has been merged in the master branch:
commit 9baf61b5bda83f3f270c4053b4a88de828cbeb7f
Author: Stephane Glondu <steph at glondu.net>
Date: Sat Sep 22 16:07:09 2012 +0200
This version requires a bugfix in Coq
diff --git a/debian/control b/debian/control
index ceea267..70fd50d 100644
--- a/debian/control
+++ b/debian/control
@@ -7,7 +7,7 @@ Build-Depends:
debhelper (>= 8),
dh-ocaml (>= 0.9~),
ocaml-nox (>= 3.11.1-3~),
- coq (>= 8.4),
+ coq (>= 8.4dfsg-2~),
libcoq-ocaml-dev
Standards-Version: 3.9.2
Homepage: http://sardes.inrialpes.fr/~braibant/aac_tactics/
--
aac-tactics packaging
More information about the Pkg-ocaml-maint-commits
mailing list