summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--debian/control2
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/control b/debian/control
index 5aed7fc3..cc64c1b2 100644
--- a/debian/control
+++ b/debian/control
@@ -6,7 +6,7 @@ Uploaders:
Ralf Treinen <treinen@debian.org>,
Samuel Mimram <smimram@debian.org>,
Stéphane Glondu <glondu@debian.org>
-Standards-Version: 3.9.0
+Standards-Version: 3.9.1
Build-Depends:
debhelper (>= 7.2.11~),
dh-ocaml (>= 0.9.5~),