[opam] fix breakage

facebook · Aug 30, 2017 · f273db8 · f273db8
1 parent 4266360
commit f273db8
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 5 deletions.
diff --git a/configure.ac b/configure.ac
@@ -15,15 +15,15 @@ AC_PREREQ([2.63])
 # - opam
 # - docker/Dockerfile
 AC_INIT([Infer],
-        [0.12.0],
+        [0.12.1],
         [https://github.com/facebook/infer/issues/])
 
 AC_CONFIG_SRCDIR([infer/src/IR/Sil.re])
 
 # WARNING: keep in sync with above
 INFER_MAJOR=0
 INFER_MINOR=12
-INFER_PATCH=0
+INFER_PATCH=1
 
 AC_SUBST([INFER_MAJOR])
 AC_SUBST([INFER_MINOR])

diff --git a/opam b/opam
@@ -1,6 +1,6 @@
 opam-version: "1.2"
 name: "infer"
-version: "0.12.0"
+version: "0.12.1"
 maintainer: "[email protected]"
 authors: "Facebook"
 homepage: "https://github.com/facebook/infer"

diff --git a/opam.lock b/opam.lock
@@ -13,13 +13,14 @@ conf-pkg-config = 1.0
 conf-which = 1
 core = 113.33.02+4.03
 core_kernel = 113.33.02+4.03
-cppo = 1.4.1
+cppo = 1.6.0
+cppo_ocamlbuild = 1.6.0
 ctypes = 0.11.3
 easy-format = 1.2.0
 extlib-compat = 1.7.0
 fieldslib = 113.24.00
 javalib = 2.3.3
-jbuilder = 1.0+beta6
+jbuilder = 1.0+beta10
 lambda-term = 1.10.1
 lwt = 2.7.1
 menhir = 20170101