/
opam
32 lines (31 loc) · 1.1 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
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 "@install" "@runtest" {with-test} "@doc" {with-doc}]
]
depends: [
"ocaml" {>= "4.02.3"}
"dolmen" {= version }
"dune" { >= "3.0" }
"spelll" { >= "0.4" }
"uutf"
"odoc" { with-doc }
]
tags: [ "logic" "type" "typechecking" "first order" "polymorphism" ]
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 typechecker for automated deduction languages"
url {
src:
"https://github.com/Gbury/dolmen/releases/download/v0.9/dolmen-0.9.tbz"
checksum: [
"sha256=003db53854bacc3a33fa55ed69cf79817c10369a4f7c6be944af1dcc36578a0a"
"sha512=3f8570f41c8c559c2907734efca98eecfc0f28ec3bce9dde500d5777a97391121a89ca66e7135d40b15161fe890d7b40fa53daba83eab0accf71fff136d45c74"
]
}
x-commit-hash: "d9f5abbaffe6e5daa4b06758db66134fe85c8c6a"