this repo has no description
Package cvc5.1.2.0
+42
+42
packages/cvc5/cvc5.1.2.0/opam
+42
packages/cvc5/cvc5.1.2.0/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "OCaml bindings for the cvc5 SMT solver"
3
+
description: "OCaml bindings for the cvc5 SMT solver"
4
+
maintainer: "João Pereira <joaomhmpereira@tecnico.ulisboa.pt>"
5
+
authors: "João Pereira <joaomhmpereira@tecnico.ulisboa.pt>"
6
+
license: "GPL-3.0-only"
7
+
homepage: "https://github.com/formalsec/ocaml-cvc5"
8
+
bug-reports: "https://github.com/formalsec/ocaml-cvc5/issues"
9
+
depends: [
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
+
"odoc" {with-doc}
19
+
]
20
+
build: [
21
+
["dune" "subst"] {dev}
22
+
[
23
+
"dune"
24
+
"build"
25
+
"-p"
26
+
name
27
+
"-j"
28
+
jobs
29
+
"@install"
30
+
"@runtest" {with-test}
31
+
"@doc" {with-doc}
32
+
]
33
+
]
34
+
dev-repo: "git+https://github.com/formalsec/ocaml-cvc5.git"
35
+
url {
36
+
src:
37
+
"https://github.com/formalsec/ocaml-cvc5/releases/download/v1.2.0/ocaml-cvc5-v1.2.0.tar.gz"
38
+
checksum: [
39
+
"md5=7bbd386569ee1350bf0d76282db37ce7"
40
+
"sha512=f128abf96eb08a888d7996ad8decb8fe4c553e6dee1eef41b7bb4a55e78e0295d82c02155feafb096847217becdf19285c7ee2fef27db3f4799bae01f99d42d5"
41
+
]
42
+
}