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 0b82b62 commit 778bde7Copy full SHA for 778bde7
dune-project
@@ -1,3 +1,3 @@
1
-(lang dune 1.2)
2
-(using menhir 1.0)
+(lang dune 1.4)
+(using menhir 2.0)
3
(name p4pp)
0 commit comments