File: dune-project

package info (click to toggle)
menhir 20210929-1
  • links: PTS, VCS
  • area: main
  • in suites: bookworm, sid
  • size: 4,292 kB
  • sloc: ml: 24,825; sh: 180; makefile: 100; lisp: 8
file content (20 lines) | stat: -rw-r--r-- 193 bytes parent folder | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
(lang dune 2.0)
(name menhir)
(using menhir 2.0)
(version 20210929)

(package
  (name menhirLib)
)

(package
  (name menhirSdk)
)

(package
  (name menhir)
)

(package
  (name coq-menhirlib)
)