Update ABI

diff --git a/debian/rules b/debian/rules
index 6fee7fd87cbce15d93451203ebbae88701fa2241..82cef0bb9495f1e63b6c21465a86f44525c5964b 100755 (executable)
--- a/debian/rules
+++ b/debian/rules
@@ -3,7 +3,7 @@
 PACKAGE := ocaml
 ALL_PACKAGES := $(shell dh_listpackages)
 OCAMLMAJOR := 4.00
-OCAMLMINOR := 0
+OCAMLMINOR := 1
 
 # Build cache (for Debian debugging)
 BUILDCACHE := $(wildcard ../ocaml.cache)