1 files changed, 1 insertions, 1 deletions
diff --git a/debian/control b/debian/control
index e5e3ec92..118d3f40 100644
--- a/debian/control
+++ b/debian/control
@@ -8,7 +8,7 @@ Uploaders:
  Samuel Mimram <smimram@debian.org>,
  Stéphane Glondu <glondu@debian.org>,
  Enrico Tassi <gareuselesinge@debian.org>
-Standards-Version: 3.9.5
+Standards-Version: 4.3.0
 Build-Depends:
  debhelper (>= 10),
  dh-ocaml (>= 0.9.5~),