From 0a9c77e779662224b7ccce403df4a48192e2f06e Mon Sep 17 00:00:00 2001 From: Josh Berdine Date: Fri, 22 Mar 2019 04:41:06 -0700 Subject: [PATCH] Add version constraint on core Reviewed By: jvillard Differential Revision: D14572812 fbshipit-source-id: 52dbb8723 --- opam | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/opam b/opam index a759d301f..193840cea 100644 --- a/opam +++ b/opam @@ -25,7 +25,7 @@ depends: [ "atdgen" {>="2.0.0"} "base64" {>="3.0.0"} "cmdliner" {>="1.0.0"} - "core" + "core" {<"v0.12.0"} "conf-autoconf" {build} "conf-gmp" {build} "conf-mpfr" {build}