summaryrefslogtreecommitdiff
path: root/debian
diff options
context:
space:
mode:
authorGravatar Stephane Glondu <steph@glondu.net>2011-11-12 16:04:13 +0100
committerGravatar Stephane Glondu <steph@glondu.net>2011-11-12 16:08:09 +0100
commit5f43edb15fbe34bf1f31a7155e40896baa067796 (patch)
treefe6a6ca4dfe336d131c0211aba4a283d053293f4 /debian
parent4fc051d01a5324c26be8b7192fdd58148ee534a8 (diff)
Downgrade versioned build-dependency to liblablgtk2-ocaml-dev
It was there to ease a transition, and is not actually needed. This will ease backports.
Diffstat (limited to 'debian')
-rw-r--r--debian/control2
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/control b/debian/control
index 116bd06a..98b15dc2 100644
--- a/debian/control
+++ b/debian/control
@@ -13,7 +13,7 @@ Build-Depends:
ocaml-nox (>= 3.11.1-3~),
ocaml-best-compilers,
camlp5 (>= 5.12-2~),
- liblablgtk2-ocaml-dev (>= 2.14.2),
+ liblablgtk2-ocaml-dev (>= 2.14),
texlive-latex-extra,
hevea (>= 1.10-7)
Homepage: http://coq.inria.fr/