From 174c02a2d24e1bdb2ec47c3c8b6e9e7061883b1a Mon Sep 17 00:00:00 2001
From: Stephane Glondu <steph@glondu.net>
Date: Wed, 14 Nov 2012 13:08:28 +0100
Subject: [PATCH] Update ABI

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

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