From e7d42838b5c1f60546d65bada149d2a4067cffae Mon Sep 17 00:00:00 2001 From: David Pichardie Date: Mon, 10 Feb 2020 10:07:39 -0800 Subject: [PATCH] Opam dependencies update for Javalib/Sawja releases Summary: Javalib 3.2.1. ans Sawja 1.5.8 are out and infer can use them now. Theses releases contain fixes about the rewriting of java lambdas (upcoming diff). Reviewed By: ngorogiannis Differential Revision: D19811102 fbshipit-source-id: 0b6bc01d1 --- opam | 4 ++-- opam.locked | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/opam b/opam index 1440f4cc9..29d7f1661 100644 --- a/opam +++ b/opam @@ -31,7 +31,7 @@ depends: [ "conf-zlib" {build} "ctypes" {>="0.9.2"} "dune" {build & >="2.0"} - "javalib" {>="3.2"} + "javalib" {>="3.2.1"} "mlgmpidl" {>="1.2.12"} "mtime" "ocaml" {>="4.08.0"} @@ -43,7 +43,7 @@ depends: [ "ppx_deriving" {>="4.1"} "ppx_fields_conv" {>="v0.12.0" & < "v0.13"} "ppx_let" {>="v0.12.0" & < "v0.13"} - "sawja" {>="1.5.7"} + "sawja" {>="1.5.8"} "sqlite3" "utop" {with-test} "xmlm" {>="1.2.0"} diff --git a/opam.locked b/opam.locked index 4bd4d1eb0..bb4870a2c 100644 --- a/opam.locked +++ b/opam.locked @@ -63,7 +63,7 @@ depends: [ "fieldslib" {= "v0.12.0"} "integers" {= "0.3.0"} "jane-street-headers" {= "v0.12.0"} - "javalib" {= "3.2"} + "javalib" {= "3.2.1"} "jbuilder" {= "1.0+beta20.2"} "jst-config" {= "v0.12.0"} "menhir" {= "20200123"} @@ -118,7 +118,7 @@ depends: [ "protocol_version_header" {= "v0.12.0"} "re" {= "1.9.0"} "result" {= "1.4"} - "sawja" {= "1.5.7"} + "sawja" {= "1.5.8"} "seq" {= "base"} "sexplib" {= "v0.12.0"} "sexplib0" {= "v0.12.0"}