/
opam
33 lines (32 loc) · 1.09 KB
/
opam
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
opam-version: "2.0"
maintainer: "Guillaume Bury <guillaume.bury@gmail.com>"
authors: "Guillaume Bury <guillaume.bury@gmail.com>"
license: "BSD-2-Clause"
build: [
["dune" "subst"] {dev}
["dune" "build" "-p" name "-j" jobs]
]
depends: [
"ocaml" {>= "4.02.3" & != "5.0.0"}
"dolmen" {= version }
"dolmen_loop" {= version }
"dune" { >= "3.0" }
"odoc" { with-doc }
"zarith" { >= "1.10" }
"farith"
]
tags: [ "logic" "type" "model" "modelchecking" "first order" ]
homepage: "https://github.com/Gbury/dolmen"
dev-repo: "git+https://github.com/Gbury/dolmen.git"
bug-reports: "https://github.com/Gbury/dolmen/issues"
doc: "https://gbury.github.io/dolmen"
synopsis: "A model checker for automated deduction languages"
url {
src:
"https://github.com/Gbury/dolmen/releases/download/v0.8/dolmen-0.8.tbz"
checksum: [
"sha256=3ee4b4b028b18ab0066cb4648fa14cd4d628a3afd79455f85fb796a9969ac80c"
"sha512=06d455f0221814dae44d9d8614cab7c1d4fb43a383e603a92ffc9cf4a753d42c5f2a0f3c5ae64aa6cf02da769c4666b130443ae2cf8fa0918c906d46e0caec9a"
]
}
x-commit-hash: "81e79b3009e740f085d0394c98f9380c1d43d00c"