From 2d3f11c25129d35c9bc57ed645f35bcdb1dae72e Mon Sep 17 00:00:00 2001
From: Stephane Glondu <steph@glondu.net>
Date: Tue, 21 Oct 2014 12:02:27 +0200
Subject: [PATCH] Update ABI

---
 debian/rules | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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