[opam] Update lock and mini repo

Reviewed By: ngorogiannis, jvillard Differential Revision: D15335623 fbshipit-source-id: e5ac7a535
daibou007 · May 14, 2019 · 1060345 · 1060345
1 parent 94c0cff
commit 1060345
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/opam.locked b/opam.locked
@@ -1,6 +1,6 @@
 opam-version: "2.0"
 name: "infer"
-version: "fb"
+version: "0.16.0"
 synopsis: "A static analyzer for Java, C, C++, and Objective-C"
 maintainer: "the infer team"
 authors: "Facebook"