this repo has no description
5 packages from c-cube/qcheck
+161
+31
packages/ppx_deriving_qcheck/ppx_deriving_qcheck.0.7/opam
+31
packages/ppx_deriving_qcheck/ppx_deriving_qcheck.0.7/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "PPX Deriver for QCheck"
3
+
maintainer: "valentin.chb@gmail.com"
4
+
authors: "the qcheck contributors"
5
+
license: "BSD-2-Clause"
6
+
homepage: "https://github.com/c-cube/qcheck/"
7
+
bug-reports: "https://github.com/c-cube/qcheck/-/issues"
8
+
depends: [
9
+
"dune" {>= "2.8.0"}
10
+
"ocaml" {>= "4.08.0"}
11
+
"qcheck-core" {>= "0.24"}
12
+
"ppxlib" {>= "0.36.0"}
13
+
"ppx_deriving" {>= "6.1.0"}
14
+
"odoc" {with-doc}
15
+
"alcotest" {with-test & >= "1.4.0"}
16
+
"qcheck-alcotest" {with-test & >= "0.24"}
17
+
]
18
+
build: [
19
+
["dune" "build" "-p" name "-j" jobs]
20
+
["dune" "build" "@doc" "-p" name "-j" jobs] {with-doc}
21
+
["dune" "runtest" "-p" name "-j" jobs] {with-test}
22
+
]
23
+
dev-repo: "git+https://github.com/c-cube/qcheck.git"
24
+
url {
25
+
src: "https://github.com/c-cube/qcheck/archive/v0.25.tar.gz"
26
+
checksum: [
27
+
"md5=e1e928bf792c27de5c072f9123eeaec9"
28
+
"sha512=a0b5791cea09f98f1f17221e6289b87a7a1c16ae1c9af0c2e5bd6a170f2cf8727dba0759a7fd932d5d617e8c242562d69187c7e74eefd5262bc5fd75a322699e"
29
+
]
30
+
}
31
+
x-maintenance-intent: ["(latest)"]
+31
packages/qcheck-alcotest/qcheck-alcotest.0.25/opam
+31
packages/qcheck-alcotest/qcheck-alcotest.0.25/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "Alcotest backend for qcheck"
3
+
maintainer: "simon.cruanes.2007@m4x.org"
4
+
authors: "the qcheck contributors"
5
+
license: "BSD-2-Clause"
6
+
tags: ["test" "quickcheck" "qcheck" "alcotest"]
7
+
homepage: "https://github.com/c-cube/qcheck/"
8
+
doc: "http://c-cube.github.io/qcheck/"
9
+
bug-reports: "https://github.com/c-cube/qcheck/issues"
10
+
depends: [
11
+
"dune" {>= "2.8.0"}
12
+
"base-unix"
13
+
"qcheck-core" {= version}
14
+
"alcotest" {>= "1.2.0"}
15
+
"odoc" {with-doc}
16
+
"ocaml" {>= "4.08.0"}
17
+
]
18
+
build: [
19
+
["dune" "build" "-p" name "-j" jobs]
20
+
["dune" "build" "@doc" "-p" name "-j" jobs] {with-doc}
21
+
["dune" "runtest" "-p" name "-j" jobs] {with-test}
22
+
]
23
+
dev-repo: "git+https://github.com/c-cube/qcheck.git"
24
+
url {
25
+
src: "https://github.com/c-cube/qcheck/archive/v0.25.tar.gz"
26
+
checksum: [
27
+
"md5=e1e928bf792c27de5c072f9123eeaec9"
28
+
"sha512=a0b5791cea09f98f1f17221e6289b87a7a1c16ae1c9af0c2e5bd6a170f2cf8727dba0759a7fd932d5d617e8c242562d69187c7e74eefd5262bc5fd75a322699e"
29
+
]
30
+
}
31
+
x-maintenance-intent: ["(latest)"]
+33
packages/qcheck-core/qcheck-core.0.25/opam
+33
packages/qcheck-core/qcheck-core.0.25/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "Core qcheck library"
3
+
maintainer: "simon.cruanes.2007@m4x.org"
4
+
authors: "the qcheck contributors"
5
+
license: "BSD-2-Clause"
6
+
tags: ["test" "property" "quickcheck"]
7
+
homepage: "https://github.com/c-cube/qcheck/"
8
+
doc: "http://c-cube.github.io/qcheck/"
9
+
bug-reports: "https://github.com/c-cube/qcheck/issues"
10
+
depends: [
11
+
"dune" {>= "2.8.0"}
12
+
"base-unix"
13
+
"alcotest" {with-test & >= "1.2.0"}
14
+
"odoc" {with-doc}
15
+
"ocaml" {>= "4.08.0"}
16
+
]
17
+
conflicts: [
18
+
"ounit" {< "2.0"}
19
+
]
20
+
build: [
21
+
["dune" "build" "-p" name "-j" jobs]
22
+
["dune" "build" "@doc" "-p" name "-j" jobs] {with-doc}
23
+
["dune" "runtest" "-p" name "-j" jobs] {with-test}
24
+
]
25
+
dev-repo: "git+https://github.com/c-cube/qcheck.git"
26
+
url {
27
+
src: "https://github.com/c-cube/qcheck/archive/v0.25.tar.gz"
28
+
checksum: [
29
+
"md5=e1e928bf792c27de5c072f9123eeaec9"
30
+
"sha512=a0b5791cea09f98f1f17221e6289b87a7a1c16ae1c9af0c2e5bd6a170f2cf8727dba0759a7fd932d5d617e8c242562d69187c7e74eefd5262bc5fd75a322699e"
31
+
]
32
+
}
33
+
x-maintenance-intent: ["(latest)"]
+31
packages/qcheck-ounit/qcheck-ounit.0.25/opam
+31
packages/qcheck-ounit/qcheck-ounit.0.25/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "OUnit backend for qcheck"
3
+
maintainer: "simon.cruanes.2007@m4x.org"
4
+
authors: "the qcheck contributors"
5
+
license: "BSD-2-Clause"
6
+
tags: ["qcheck" "quickcheck" "ounit"]
7
+
homepage: "https://github.com/c-cube/qcheck/"
8
+
doc: "http://c-cube.github.io/qcheck/"
9
+
bug-reports: "https://github.com/c-cube/qcheck/issues"
10
+
depends: [
11
+
"dune" {>= "2.8.0"}
12
+
"base-unix"
13
+
"qcheck-core" {= version}
14
+
"ounit2"
15
+
"odoc" {with-doc}
16
+
"ocaml" {>= "4.08.0"}
17
+
]
18
+
build: [
19
+
["dune" "build" "-p" name "-j" jobs]
20
+
["dune" "build" "@doc" "-p" name "-j" jobs] {with-doc}
21
+
["dune" "runtest" "-p" name "-j" jobs] {with-test}
22
+
]
23
+
dev-repo: "git+https://github.com/c-cube/qcheck.git"
24
+
url {
25
+
src: "https://github.com/c-cube/qcheck/archive/v0.25.tar.gz"
26
+
checksum: [
27
+
"md5=e1e928bf792c27de5c072f9123eeaec9"
28
+
"sha512=a0b5791cea09f98f1f17221e6289b87a7a1c16ae1c9af0c2e5bd6a170f2cf8727dba0759a7fd932d5d617e8c242562d69187c7e74eefd5262bc5fd75a322699e"
29
+
]
30
+
}
31
+
x-maintenance-intent: ["(latest)"]
+35
packages/qcheck/qcheck.0.25/opam
+35
packages/qcheck/qcheck.0.25/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "Compatibility package for qcheck"
3
+
maintainer: "simon.cruanes.2007@m4x.org"
4
+
authors: "the qcheck contributors"
5
+
license: "BSD-2-Clause"
6
+
tags: ["test" "property" "quickcheck"]
7
+
homepage: "https://github.com/c-cube/qcheck/"
8
+
doc: "http://c-cube.github.io/qcheck/"
9
+
bug-reports: "https://github.com/c-cube/qcheck/issues"
10
+
depends: [
11
+
"dune" {>= "2.8.0"}
12
+
"base-unix"
13
+
"qcheck-core" {= version}
14
+
"qcheck-ounit" {= version}
15
+
"alcotest" {with-test & >= "1.2.0"}
16
+
"odoc" {with-doc}
17
+
"ocaml" {>= "4.08.0"}
18
+
]
19
+
conflicts: [
20
+
"ounit" {< "2.0"}
21
+
]
22
+
build: [
23
+
["dune" "build" "-p" name "-j" jobs]
24
+
["dune" "build" "@doc" "-p" name "-j" jobs] {with-doc}
25
+
["dune" "runtest" "-p" name "-j" jobs] {with-test}
26
+
]
27
+
dev-repo: "git+https://github.com/c-cube/qcheck.git"
28
+
url {
29
+
src: "https://github.com/c-cube/qcheck/archive/v0.25.tar.gz"
30
+
checksum: [
31
+
"md5=e1e928bf792c27de5c072f9123eeaec9"
32
+
"sha512=a0b5791cea09f98f1f17221e6289b87a7a1c16ae1c9af0c2e5bd6a170f2cf8727dba0759a7fd932d5d617e8c242562d69187c7e74eefd5262bc5fd75a322699e"
33
+
]
34
+
}
35
+
x-maintenance-intent: ["(latest)"]