Skip to content

Commit d8017d9

Browse files
authored
Drop version dependency on rocq-core
This allows pinning master against various versions of Rocq using opam's ability to pin git commits.
1 parent c354610 commit d8017d9

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" {= "dev"}
19+
"rocq-core"
2020
"rocq-stdlib"
2121
]
2222

0 commit comments

Comments
 (0)