From f549212c75ff838c5140169501010849b560a179 Mon Sep 17 00:00:00 2001 From: Stephane Glondu Date: Mon, 10 Aug 2015 11:24:17 +0200 Subject: [PATCH] Update ABI --- debian/rules | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/debian/rules b/debian/rules index e565f508..095e1921 100755 --- a/debian/rules +++ b/debian/rules @@ -3,7 +3,7 @@ PACKAGE := ocaml ALL_PACKAGES := $(shell dh_listpackages) OCAMLMAJOR := 4.02 -OCAMLMINOR := 2 +OCAMLMINOR := 3 # Build cache (for Debian debugging) BUILDCACHE := $(wildcard ../ocaml.cache) -- 2.30.2