From c559639adf3eb6954480ec8b9b3a7e4d7fde606d Mon Sep 17 00:00:00 2001 From: Wolfgang Meier Date: Sun, 2 Aug 2026 22:40:07 +0200 Subject: [PATCH] rocq-parseque.0.3.1 is compatible with Rocq 9.3 --- released/packages/rocq-parseque/rocq-parseque.0.3.1/opam | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/released/packages/rocq-parseque/rocq-parseque.0.3.1/opam b/released/packages/rocq-parseque/rocq-parseque.0.3.1/opam index b1e3d7604..e7e632aa0 100644 --- a/released/packages/rocq-parseque/rocq-parseque.0.3.1/opam +++ b/released/packages/rocq-parseque/rocq-parseque.0.3.1/opam @@ -14,7 +14,7 @@ install: [ [make "install"] ] depends: [ - "rocq-core" {>= "9.0" & < "9.3~"} + "rocq-core" {>= "9.0" & < "9.4~"} "rocq-stdlib" ]