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"}