From c0bf98b67870a9bdcca196786791f6eb134df0d4 Mon Sep 17 00:00:00 2001 From: Alasdair Date: Fri, 12 Mar 2021 16:35:50 +0000 Subject: Add even more conservative version bound to omd --- opam | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/opam b/opam index 0805c392..1026ac92 100644 --- a/opam +++ b/opam @@ -30,7 +30,7 @@ depends: [ "ott" {>= "0.28" & build} "lem" {>= "2018-12-14"} "linksem" {>= "0.3"} - "omd" {>= "1.3.1" & < "2.0.0"} + "omd" {>= "1.3.1" & < "1.4.0"} "conf-gmp" "conf-zlib" "base64" {>= "3.1.0"} -- cgit v1.2.3