Update OCAML_ABI
authorStephane Glondu <steph@glondu.net>
Mon, 30 Sep 2019 14:05:20 +0000 (16:05 +0200)
committerStephane Glondu <Stéphane Glondu glondu@debian.org>
Mon, 30 Sep 2019 14:05:32 +0000 (16:05 +0200)
debian/ocamlvars.mk

index 0dec6371d6d9d90b5d4a4c7718299223365a1fd8..a95cd47bcbb6043a0c85a60580dd5571a478ef9c 100644 (file)
@@ -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