Update ABI

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