diff options
| author |  Stephane Glondu <steph@glondu.net> | 2011-11-12 16:04:13 +0100 |
|---|---|---|
| committer | Stephane Glondu <steph@glondu.net> | 2011-11-12 16:08:09 +0100 |
| commit | 5f43edb15fbe34bf1f31a7155e40896baa067796 (patch) | |
| tree | fe6a6ca4dfe336d131c0211aba4a283d053293f4 /debian/control | |
| parent | 4fc051d01a5324c26be8b7192fdd58148ee534a8 (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/control')
| -rw-r--r-- | debian/control | 2 |
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/ |