From: Stephane Glondu <steph@glondu.net>
Date: Thu, 19 Apr 2012 06:33:22 +0000 (+0200)
Subject: Update ABI
X-Git-Tag: archive/raspbian/4.08.1-4+rpi1~3^2~268
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=ea1e8d29219fb09a028f504dd8be4aed20da9980;p=ocaml.git

Update ABI
---

diff --git a/debian/rules b/debian/rules
index 3da32e6e..f7328761 100755
--- a/debian/rules
+++ b/debian/rules
@@ -2,8 +2,8 @@
 
 PACKAGE := ocaml
 ALL_PACKAGES := $(shell dh_listpackages)
-OCAMLMAJOR := 3.12
-OCAMLMINOR := 1
+OCAMLMAJOR := 4.00
+OCAMLMINOR := 0+dev15
 
 # Build cache (for Debian debugging)
 BUILDCACHE := $(wildcard ../ocaml.cache)