Update ABI

diff --git a/debian/rules b/debian/rules
index 3da32e6eb12fc76c503279b45f83fc7c3e62989d..f7328761be6e1f10ab2a367e47597b014f6146cf 100755 (executable)
--- a/debian/rules
+++ b/debian/rules
@@ -2,8 +2,8 @@
 
 PACKAGE := ocaml
 ALL_PACKAGES := $(shell dh_listpackages)
-OCAMLMAJOR := 3.12
-OCAMLMINOR := 1
+OCAMLMAJOR := 4.00
+OCAMLMINOR := 0+dev15
 
 # Build cache (for Debian debugging)
 BUILDCACHE := $(wildcard ../ocaml.cache)