From: Stephane Glondu <steph@glondu.net>
Date: Mon, 30 Sep 2019 14:05:20 +0000 (+0200)
Subject: Update OCAML_ABI
X-Git-Tag: archive/raspbian/4.08.1-4+rpi1~2^2~17^2~4
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=1e0b12440eaf5b869e98ad11117a5e4ecc3b4068;p=ocaml.git

Update OCAML_ABI
---

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