Skip to content

Commit dbf43b0

Browse files
SkySkimmerSkySkimmer
authored
Update extra-dev/packages/coq-lean-import/coq-lean-import.dev/opam
1 parent f68fda0 commit dbf43b0

File tree

1 file changed

+1
-0
lines changed
  • extra-dev/packages/coq-lean-import/coq-lean-import.dev

1 file changed

+1
-0
lines changed

‎extra-dev/packages/coq-lean-import/coq-lean-import.dev/opam

+1
Original file line numberDiff line numberDiff line change
@@ -17,6 +17,7 @@ install: [make "install"]
1717
depends: [
1818
"ocaml" {>= "4.09.0"}
1919
"rocq-core" {= "dev"}
20+
"rocq-stdlib"
2021
]
2122

2223
tags: [

0 commit comments

Comments
 (0)