Update ABI

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