this repo has no description
anil.recoil.org
1opam-version: "2.0"
2license: "Apache-2.0"
3synopsis: "The psmt2-frontend project"
4description: """\
5An OCaml library to parse and type-check a conservative extension of the SMT-LIB 2
6standard with prenex polymorphism.
7"""
8authors: ["Albin Coquereau"]
9maintainer: ["Albin Coquereau"]
10homepage: "https://github.com/OCamlPro-Coquera/psmt2-frontend/"
11bug-reports: "https://github.com/OCamlPro-Coquera/psmt2-frontend/issues"
12dev-repo:
13 "git+https://github.com/OCamlPro-Coquera/psmt2-frontend/tree/next.git"
14build: [
15 ["dune" "subst"] {dev}
16 [
17 "dune"
18 "build"
19 "-p"
20 name
21 "-j"
22 jobs
23 "@install"
24 "@runtest" {with-test}
25 "@doc" {with-doc}
26 ]
27]
28depends: [
29 "ocaml" {>= "4.04.2"}
30 "dune" {>= "2.6.0"}
31 "ppx_inline_test" {with-test}
32 "ppx_expect" {with-test}
33 "odoc" {with-doc}
34 "ocamlformat" {with-test}
35 "menhir" {>= "20180528"}
36]
37
38url {
39 src: "https://github.com/OCamlPro-Coquera/psmt2-frontend/archive/0.4.0.tar.gz"
40 checksum: [ "sha256=06eff884b629ce30704d08fb4559e54812e8c234e6086da770ea693613fe9780" ]
41}