summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlasdair2021-03-12 16:35:50 +0000
committerAlasdair2021-03-12 16:35:50 +0000
commitc0bf98b67870a9bdcca196786791f6eb134df0d4 (patch)
tree5a142b513f449ec80d3c77c214aed71c1a67ccd6
parent4b7a3c874fb2b588f59dc65dda859682f3d6f7a8 (diff)
Add even more conservative version bound to omd
-rw-r--r--opam2
1 files changed, 1 insertions, 1 deletions
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"}