From 1e0b12440eaf5b869e98ad11117a5e4ecc3b4068 Mon Sep 17 00:00:00 2001
From: Stephane Glondu <steph@glondu.net>
Date: Mon, 30 Sep 2019 16:05:20 +0200
Subject: [PATCH] Update OCAML_ABI

---
 debian/ocamlvars.mk | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/debian/ocamlvars.mk b/debian/ocamlvars.mk
index 0dec6371..a95cd47b 100644
--- a/debian/ocamlvars.mk
+++ b/debian/ocamlvars.mk
@@ -1,7 +1,7 @@
 include /usr/share/dpkg/architecture.mk
 
 OCAMLMAJOR := 4.08
-OCAMLMINOR := 0
+OCAMLMINOR := 1
 
 OCAML_ABI := $(OCAMLMAJOR).$(OCAMLMINOR)
 OCAML_STDLIB_DIR := /usr/lib/ocaml
-- 
2.30.2