From: Ximin Luo <infinity0@debian.org>
Date: Fri, 14 Jul 2017 12:13:12 +0000 (+0200)
Subject: Update ABI in d/rules
X-Git-Tag: archive/raspbian/4.08.1-4+rpi1~3^2~61
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=9e66d57c317287f52423e0407cfe34a948390f22;p=ocaml.git

Update ABI in d/rules
---

diff --git a/debian/rules b/debian/rules
index 0224b6f0..6a5fe316 100755
--- a/debian/rules
+++ b/debian/rules
@@ -7,7 +7,7 @@ include /usr/share/dpkg/buildflags.mk
 PACKAGE := ocaml
 ALL_PACKAGES := $(shell dh_listpackages)
 OCAMLMAJOR := 4.05
-OCAMLMINOR := 0+rc1
+OCAMLMINOR := 0
 
 # Use ccache if pkg.ocaml.ccache build-profile is active.
 # Your rebuilds will be *much quicker*.