blob: 32c81cd672afdf39a2f8a538218877881c04373c (
about) (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
(lang dune 3.15)
(name mininix)
(generate_opam_files true)
(using menhir 3.0)
(using coq 0.8)
(authors "Rutger Broekhoff" "Robbert Krebbers")
(license LICENSE)
(package
(name mininix)
(depends (ocaml (< 5))
(coq (and (>= 8.20) (< 8.21)))
(coq-stdpp (and (>= 1.11) (< 1.12)))
coq-flocq
core core_unix linenoise menhir pprint sexp_pretty stdio
ppx_sexp_conv ppx_blob ppx_let bisect_ppx
(merlin :dev) (ocamlformat :dev)))
|
