We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent f6e36bd commit 8debb21Copy full SHA for 8debb21
packages/arrakis/arrakis.1.1.0/opam
@@ -14,7 +14,7 @@ homepage: "https://codeberg.org/Arrakis/arrakis"
14
doc: "https://codeberg.org/Arrakis/arrakis/wiki"
15
bug-reports: "https://codeberg.org/Arrakis/arrakis/issues"
16
depends: [
17
- "dune" {>= "3.10"}
+ "dune" {>= "3.11"}
18
"ocaml" {>= "4.14.0"}
19
"menhir" {>= "20180528"}
20
"odoc" {with-doc}
packages/arrakis/arrakis.1.1.1/opam
0 commit comments