From dae468593720d93455004c01f4af0d02a636ebf8 Mon Sep 17 00:00:00 2001
From: Stephane Glondu <steph@glondu.net>
Date: Fri, 27 Jul 2012 07:27:58 +0200
Subject: [PATCH] Update ABI

---
 debian/rules | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/debian/rules b/debian/rules
index 7014c4b5..6fee7fd8 100755
--- 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)
-- 
2.30.2