1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
|
(lang dune 2.0)
; This file was generated by drom, using drom.toml
(name psmt2-frontend)
(allow_approximate_merlin)
(generate_opam_files false)
(version 0.4.0)
(formatting (enabled_for ocaml reason))
(package
(name psmt2-frontend_bin)
(synopsis "The psmt2-frontend project")
(description "An OCaml library to parse and type-check a conservative extension of the SMT-LIB 2\nstandard with prenex polymorphism.\n")
(depends
(ocaml (>= 4.04.2))
(psmt2-frontend (= version))
ppx_inline_test
ppx_expect
odoc
ocamlformat
menhir
))
(package
(name psmt2-frontend)
(synopsis "The psmt2-frontend project")
(description "An OCaml library to parse and type-check a conservative extension of the SMT-LIB 2\nstandard with prenex polymorphism.\n")
(depends
(ocaml (>= 4.04.2))
ppx_inline_test
ppx_expect
odoc
ocamlformat
menhir
))
(using menhir 2.0)
|
