this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis: "OCaml bindings for the cvc5 SMT solver"
3description: "OCaml bindings for the cvc5 SMT solver"
4maintainer: "João Pereira <joaomhmpereira@tecnico.ulisboa.pt>"
5authors: "João Pereira <joaomhmpereira@tecnico.ulisboa.pt>"
6license: "GPL-3.0-only"
7homepage: "https://github.com/formalsec/ocaml-cvc5"
8bug-reports: "https://github.com/formalsec/ocaml-cvc5/issues"
9depends: [
10 "dune" {>= "3.10"}
11 "ocaml" {>= "4.12"}
12 "conf-gcc" {build}
13 "conf-g++" {build}
14 "conf-gmp" {build}
15 "conf-cmake" {build}
16 "conf-python-3" {build}
17 "conf-python-3-dev" {build}
18 "conf-python3-pyparsing" {build}
19 "conf-python3-tomli" {build}
20 "odoc" {with-doc}
21]
22build: [
23 ["dune" "subst"] {dev}
24 [
25 "dune"
26 "build"
27 "-p"
28 name
29 "-j"
30 jobs
31 "@install"
32 "@runtest" {with-test}
33 "@doc" {with-doc}
34 ]
35]
36dev-repo: "git+https://github.com/formalsec/ocaml-cvc5.git"
37url {
38 src:
39 "https://github.com/formalsec/ocaml-cvc5/releases/download/v1.2.0/ocaml-cvc5-v1.2.0.tar.gz"
40 checksum: [
41 "md5=f3bef1351994740ad6a11f55f77b4fbf"
42 "sha512=2b526cf9cd9cb4b240466bd69d8608a2257e57930b07ebc99c57aa2633bde45d40f4e10797794cbcf6d9f7ca78dd91d4c3d54b516ac04f625518159b4189833a"
43 ]
44}