Opam: adjust opam patch package for elpi.1.16.9 to upstream changes

coq · Jan 28, 2025 · a030c3b · a030c3b
1 parent 3ea490f
commit a030c3b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/opam/opam-repository/packages/elpi/elpi.1.16.9/opam b/opam/opam-repository/packages/elpi/elpi.1.16.9/opam
@@ -25,7 +25,7 @@ depends: [
   "cmdliner" {with-test}
   "dune" {>= "2.8.0"}
   "conf-time" {with-test}
-  "atdgen" {>= "2.10.0"}
+  "atdgen" {>= "2.10.0" & < "2.16.0"}
   "atdts" {>= "2.10.0"}
   "odoc" {with-doc}
 ]