Skip to content

Commit d64fc71

Browse files
authored
Re-add lower bounds to rocq-core dependency
1 parent d8017d9 commit d64fc71

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

rocq-lean-import.opam

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -16,7 +16,7 @@ run-test: [make "-j%{jobs}%" "test"]
1616
install: [make "install"]
1717
depends: [
1818
"ocaml" {>= "4.09.0"}
19-
"rocq-core"
19+
"rocq-core" {>= "9.0~" | = "dev"}
2020
"rocq-stdlib"
2121
]
2222

0 commit comments

Comments
 (0)