From 04ccbe1a353077303d3134d3b09f5dfd1ee65e30 Mon Sep 17 00:00:00 2001
From: Benjamin Barenblat <bbaren@debian.org>
Date: Mon, 24 Dec 2018 15:02:50 -0500
Subject: Update standards version

---
 debian/control | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'debian/control')

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~),
-- 
cgit v1.2.3