summaryrefslogtreecommitdiff
path: root/debian/control
diff options
context:
space:
mode:
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,