Merge pull request coq#3161 from palmskog/huffman-8.20

coq-huffman.8.16.0 works on 8.20
aleksnanevski · Sep 18, 2024 · f14512e · f14512e
2 parents 6b09384 + 1de59d8
commit f14512e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/released/packages/coq-huffman/coq-huffman.8.16.0/opam b/released/packages/coq-huffman/coq-huffman.8.16.0/opam
@@ -16,7 +16,7 @@ Codes, Proc. IRE, pp. 1098-1101, September 1952."""
 build: [make "-j%{jobs}%"]
 install: [make "install"]
 depends: [
-  "coq" {>= "8.12" & < "8.20"}
+  "coq" {>= "8.12" & < "8.21"}
 ]
 
 tags: [