summaryrefslogtreecommitdiff
path: root/debian/control
diff options
context:
space:
mode:
authorGravatar Stephane Glondu <steph@glondu.net>2009-02-20 14:42:47 +0100
committerGravatar Stephane Glondu <steph@glondu.net>2009-02-20 15:11:59 +0100
commit500458bebd552145aa1a5eaa1a45fb3010680350 (patch)
tree0f0012e848a50aeb349e00aa63f19a88062c768e /debian/control
parent0a402bcc74943503556478c1e2dc924f27d2a3d3 (diff)
Remove dependency on dpatch
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 1f0ec103..805d5879 100644
--- a/debian/control
+++ b/debian/control
@@ -13,7 +13,6 @@ Standards-Version: 3.8.0
Build-Depends:
debhelper (>= 7),
dpkg-dev (>= 1.13.19),
- dpatch,
dh-ocaml (>= 0.2),
ocaml-nox,
ocaml-best-compilers,