From: Stephane Glondu Date: Wed, 14 Nov 2012 12:08:28 +0000 (+0100) Subject: Update ABI X-Git-Tag: archive/raspbian/4.08.1-4+rpi1~3^2~214 X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=174c02a2d24e1bdb2ec47c3c8b6e9e7061883b1a;p=ocaml.git Update ABI --- 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)