From 10603450ce430891dbb73eb90e5a65fc9c893079 Mon Sep 17 00:00:00 2001 From: Josh Berdine Date: Tue, 14 May 2019 15:29:17 -0700 Subject: [PATCH] [opam] Update lock and mini repo Reviewed By: ngorogiannis, jvillard Differential Revision: D15335623 fbshipit-source-id: e5ac7a535 --- opam.locked | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/opam.locked b/opam.locked index 1bea0caba..950b340e8 100644 --- 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"