Update ABI
authorStephane Glondu <steph@glondu.net>
Mon, 10 Aug 2015 09:24:17 +0000 (11:24 +0200)
committerStephane Glondu <steph@glondu.net>
Mon, 10 Aug 2015 09:24:17 +0000 (11:24 +0200)
debian/rules

index e565f50837ea0ba9daad70ed38f403e688f039e4..095e19219e7db454cd588a63d16700907dae2eb4 100755 (executable)
@@ -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)