this repo has no description
Merge pull request #27468 from jmid/opam-publish-qcheck.0.24
4 packages from c-cube/qcheck at 0.24
authored by
Shon Feder
and committed by
GitHub
77714bd5
3c104c6a
+161
+31
packages/ppx_deriving_qcheck/ppx_deriving_qcheck.0.6/opam
+31
packages/ppx_deriving_qcheck/ppx_deriving_qcheck.0.6/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.22.0"}
13
+
"ppx_deriving" {>= "5.2.1"}
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.24.tar.gz"
26
+
checksum: [
27
+
"md5=4eecb056dba04a9b68786135dd2e66bc"
28
+
"sha512=b7a0dcf6c46e297f8e44f0c66d4b671f285c87fe4052f5e990f02012a5386b8052a5f1e79fc92093e7ef20c6d69155d63e40fc7e30cdc4d34b2d1c8654568958"
29
+
]
30
+
}
31
+
x-maintenance-intent: ["(latest)"]
+31
packages/qcheck-alcotest/qcheck-alcotest.0.24/opam
+31
packages/qcheck-alcotest/qcheck-alcotest.0.24/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.24.tar.gz"
26
+
checksum: [
27
+
"md5=4eecb056dba04a9b68786135dd2e66bc"
28
+
"sha512=b7a0dcf6c46e297f8e44f0c66d4b671f285c87fe4052f5e990f02012a5386b8052a5f1e79fc92093e7ef20c6d69155d63e40fc7e30cdc4d34b2d1c8654568958"
29
+
]
30
+
}
31
+
x-maintenance-intent: ["(latest)"]
+33
packages/qcheck-core/qcheck-core.0.24/opam
+33
packages/qcheck-core/qcheck-core.0.24/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.24.tar.gz"
28
+
checksum: [
29
+
"md5=4eecb056dba04a9b68786135dd2e66bc"
30
+
"sha512=b7a0dcf6c46e297f8e44f0c66d4b671f285c87fe4052f5e990f02012a5386b8052a5f1e79fc92093e7ef20c6d69155d63e40fc7e30cdc4d34b2d1c8654568958"
31
+
]
32
+
}
33
+
x-maintenance-intent: ["(latest)"]
+31
packages/qcheck-ounit/qcheck-ounit.0.24/opam
+31
packages/qcheck-ounit/qcheck-ounit.0.24/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.24.tar.gz"
26
+
checksum: [
27
+
"md5=4eecb056dba04a9b68786135dd2e66bc"
28
+
"sha512=b7a0dcf6c46e297f8e44f0c66d4b671f285c87fe4052f5e990f02012a5386b8052a5f1e79fc92093e7ef20c6d69155d63e40fc7e30cdc4d34b2d1c8654568958"
29
+
]
30
+
}
31
+
x-maintenance-intent: ["(latest)"]
+35
packages/qcheck/qcheck.0.24/opam
+35
packages/qcheck/qcheck.0.24/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.24.tar.gz"
30
+
checksum: [
31
+
"md5=4eecb056dba04a9b68786135dd2e66bc"
32
+
"sha512=b7a0dcf6c46e297f8e44f0c66d4b671f285c87fe4052f5e990f02012a5386b8052a5f1e79fc92093e7ef20c6d69155d63e40fc7e30cdc4d34b2d1c8654568958"
33
+
]
34
+
}
35
+
x-maintenance-intent: ["(latest)"]