summaryrefslogtreecommitdiff
path: root/debian/control
diff options
context:
space:
mode:
authorGravatar Stephane Glondu <steph@glondu.net>2010-06-01 13:41:15 +0200
committerGravatar Stephane Glondu <steph@glondu.net>2010-07-01 17:28:13 +0200
commit7c9acaaecd06f9350b94b04b74106cd0a5f5de55 (patch)
tree331baf3a6d424f5289086b550e5e86dd27fab398 /debian/control
parent83ff9e0c693ccc0a8123e8f7a0f45f6831a4b3c7 (diff)
Switch source package format to 3.0 (quilt)
Diffstat (limited to 'debian/control')
-rw-r--r--debian/control1
1 files changed, 0 insertions, 1 deletions
diff --git a/debian/control b/debian/control
index 2a9fb0da..1c1d7e12 100644
--- a/debian/control
+++ b/debian/control
@@ -11,7 +11,6 @@ Uploaders:
Standards-Version: 3.8.4
Build-Depends:
debhelper (>= 7),
- quilt (>= 0.46-7~),
dh-ocaml (>= 0.9~),
ocaml-nox (>= 3.11.1-3~),
ocaml-best-compilers,