File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -15,7 +15,7 @@ AC_PREREQ([2.63])
1515# - opam
1616# - docker/Dockerfile
1717AC_INIT ( [ Infer] ,
18- [ 0.9.4 ] ,
18+ [ 0.9.5 ] ,
1919 [ https://github.com/facebook/infer/issues/] )
2020
2121# this has to happen just after AC_INIT() because later macros may mess with the arguments passed to
@@ -27,7 +27,7 @@ AC_CONFIG_SRCDIR([infer/src/IR/Sil.re])
2727# WARNING: keep in sync with above
2828INFER_MAJOR=0
2929INFER_MINOR=9
30- INFER_PATCH=4
30+ INFER_PATCH=5
3131
3232AC_SUBST ( [ INFER_MAJOR] )
3333AC_SUBST ( [ INFER_MINOR] )
Original file line number Diff line number Diff line change 11opam-version: "1.2"
22name: "infer"
3- version: "0.9.4 "
3+ version: "0.9.5 "
44maintainer: "opam-devel@lists.ocaml.org"
55authors: "Facebook"
66homepage: "https://github.com/facebook/infer"
Original file line number Diff line number Diff line change 11{
2- "version" : " 0.9.4 " ,
2+ "version" : " 0.9.5 " ,
33 "description" : " infer" ,
44 "exportedEnvVars" : {
55 "FINDLIB" : {
You can’t perform that action at this time.
0 commit comments