this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis: "Parser for SMTLIB2"
3maintainer: ["simon.cruanes.2007@m4x.org"]
4authors: ["Simon Cruanes"]
5license: "BSD-2-Clause"
6tags: ["SMTLIB" "smt2" "parse" "logic"]
7homepage: "https://github.com/c-cube/smtlib-utils/"
8bug-reports: "https://github.com/c-cube/smtlib-utils/issues"
9depends: [
10 "dune" {>= "2.0"}
11 "menhir" {build & >= "20180523"}
12 "odoc" {with-doc}
13 "ocaml" {>= "4.08.0"}
14 "trace" {with-test}
15 "trace-tef" {with-test}
16]
17build: [
18 ["dune" "subst"] {dev}
19 [
20 "dune"
21 "build"
22 "-p"
23 name
24 "-j"
25 jobs
26 "@install"
27 "@runtest" {with-test}
28 "@doc" {with-doc}
29 ]
30]
31dev-repo: "git+https://github.com/c-cube/smtlib-utils.git"
32url {
33 src:
34 "https://github.com/c-cube/smtlib-utils/releases/download/v0.5/smtlib-utils-0.5.tbz"
35 checksum: [
36 "sha256=40eb11f7ebbd05f32e67ea46cb5fdbc9092797ddbf7f92d0b0eb141e636f1742"
37 "sha512=0930b6022151c51490500d6f8d0fe014f6a3785631fcaeb9afbc22dfbf4589ba9de90fd981b7de857d44a885d8d11f89ca96cfa7fcf4e37d15985df94f311430"
38 ]
39}
40x-commit-hash: "93dfede0b928357b46c33975d0d774c71de93160"