-
Notifications
You must be signed in to change notification settings - Fork 1.1k
/
opam
47 lines (46 loc) · 1.18 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
34
35
36
37
38
39
40
41
42
43
44
45
46
47
# This file was generated by `drom` from `drom.toml`.
# Do not modify or add to the `skip` field of `drom.toml`.
opam-version: "2.0"
license: "Apache-2.0"
synopsis: "The psmt2-frontend project"
description: """\
An OCaml library to parse and type-check a conservative extension of the SMT-LIB 2
standard with prenex polymorphism.
"""
authors: ["Albin Coquereau"]
maintainer: ["Albin Coquereau"]
homepage: "https://github.com/OCamlPro-Coquera/psmt2-frontend/"
bug-reports: "https://github.com/OCamlPro-Coquera/psmt2-frontend/issues"
dev-repo:
"git+https://github.com/OCamlPro-Coquera/psmt2-frontend/tree/next.git"
build: [
["dune" "subst"] {dev}
[
"dune"
"build"
"-p"
name
"-j"
jobs
"@install"
"@runtest" {with-test}
"@doc" {with-doc}
]
]
depends: [
"ocaml" {>= "4.04.2"}
"dune" {>= "2.6.0"}
"ppx_inline_test" {with-test}
"ppx_expect" {with-test}
"odoc" {with-doc}
"ocamlformat" {with-test}
"menhir" {>= "20180528"}
]
url {
src:
"https://github.com/OCamlPro-Coquera/psmt2-frontend/archive/0.3.tar.gz"
checksum: [
"sha256=a6008f2f1c288285bb76bc75bede9fb1a4aabff504a57b64229a7d6aa8b8547c"
"md5=ea2264655eae4b5722c127ecfc4a126a"
]
}