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