-
Notifications
You must be signed in to change notification settings - Fork 1.1k
/
opam
35 lines (35 loc) · 1.03 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
opam-version: "2.0"
synopsis: "Compatibility package for qcheck"
maintainer: "simon.cruanes.2007@m4x.org"
authors: "the qcheck contributors"
license: "BSD-2-Clause"
tags: ["test" "property" "quickcheck"]
homepage: "https://github.com/c-cube/qcheck/"
doc: "http://c-cube.github.io/qcheck/"
bug-reports: "https://github.com/c-cube/qcheck/issues"
depends: [
"dune" {>= "2.8.0"}
"base-bytes"
"base-unix"
"qcheck-core" {= version}
"qcheck-ounit" {= version}
"alcotest" {with-test}
"odoc" {with-doc}
"ocaml" {>= "4.08.0"}
]
conflicts: [
"ounit" {< "2.0"}
]
build: [
["dune" "build" "-p" name "-j" jobs]
["dune" "build" "@doc" "-p" name "-j" jobs] {with-doc}
["dune" "runtest" "-p" name "-j" jobs] {with-test}
]
dev-repo: "git+https://github.com/c-cube/qcheck.git"
url {
src: "https://github.com/c-cube/qcheck/archive/v0.21.2.tar.gz"
checksum: [
"md5=b8e3728fc1b534ee01e3c2b7e2b30bb3"
"sha512=67ff77a66ccf046dfede9123a322002f232a0a65b8ce1890795a4a4ba247bc5413f988e7cfd53412418036c2b907e4cbcd7dcd39d7f1fd2481aee60107b075cc"
]
}