diff options
| author | Alasdair | 2021-03-12 14:24:50 +0000 |
|---|---|---|
| committer | Alasdair | 2021-03-12 14:24:50 +0000 |
| commit | 4b7a3c874fb2b588f59dc65dda859682f3d6f7a8 (patch) | |
| tree | 88d01ecd365245b2bfcbf92a24f87ed8f74408a0 | |
| parent | 212b16bd15ea39ae3b35efdce7cef549fe4f1657 (diff) | |
Add upper version bound on omd
| -rw-r--r-- | opam | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -30,7 +30,7 @@ depends: [ "ott" {>= "0.28" & build} "lem" {>= "2018-12-14"} "linksem" {>= "0.3"} - "omd" {>= "1.3.1"} + "omd" {>= "1.3.1" & < "2.0.0"} "conf-gmp" "conf-zlib" "base64" {>= "3.1.0"} |
