this repo has no description
Merge pull request #27086 from jmid/opam-publish-qcheck.0.23-ppx_deriving_qcheck.0.5
5 packages from c-cube/qcheck
authored by
Marcello Seri
and committed by
GitHub
2ec14c48
2de96c23
+156
+30
packages/ppx_deriving_qcheck/ppx_deriving_qcheck.0.5/opam
+30
packages/ppx_deriving_qcheck/ppx_deriving_qcheck.0.5/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.19"}
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.17"}
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/vch9/ppx_deriving_qcheck.git"
24
+
url {
25
+
src: "https://github.com/c-cube/qcheck/archive/v0.23.tar.gz"
26
+
checksum: [
27
+
"md5=25be98dd0e0e0b3f34cb4c9d72507563"
28
+
"sha512=e12ebc70cddc0fb0933fb331fef81ca6010340146d163bef673a2222a84bc3c5656c508a561702ac1f7fdb9d691ab0e423bc0c12361b81377c4cd682739e6e91"
29
+
]
30
+
}
+30
packages/qcheck-alcotest/qcheck-alcotest.0.23/opam
+30
packages/qcheck-alcotest/qcheck-alcotest.0.23/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.23.tar.gz"
26
+
checksum: [
27
+
"md5=25be98dd0e0e0b3f34cb4c9d72507563"
28
+
"sha512=e12ebc70cddc0fb0933fb331fef81ca6010340146d163bef673a2222a84bc3c5656c508a561702ac1f7fdb9d691ab0e423bc0c12361b81377c4cd682739e6e91"
29
+
]
30
+
}
+32
packages/qcheck-core/qcheck-core.0.23/opam
+32
packages/qcheck-core/qcheck-core.0.23/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.23.tar.gz"
28
+
checksum: [
29
+
"md5=25be98dd0e0e0b3f34cb4c9d72507563"
30
+
"sha512=e12ebc70cddc0fb0933fb331fef81ca6010340146d163bef673a2222a84bc3c5656c508a561702ac1f7fdb9d691ab0e423bc0c12361b81377c4cd682739e6e91"
31
+
]
32
+
}
+30
packages/qcheck-ounit/qcheck-ounit.0.23/opam
+30
packages/qcheck-ounit/qcheck-ounit.0.23/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.23.tar.gz"
26
+
checksum: [
27
+
"md5=25be98dd0e0e0b3f34cb4c9d72507563"
28
+
"sha512=e12ebc70cddc0fb0933fb331fef81ca6010340146d163bef673a2222a84bc3c5656c508a561702ac1f7fdb9d691ab0e423bc0c12361b81377c4cd682739e6e91"
29
+
]
30
+
}
+34
packages/qcheck/qcheck.0.23/opam
+34
packages/qcheck/qcheck.0.23/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.23.tar.gz"
30
+
checksum: [
31
+
"md5=25be98dd0e0e0b3f34cb4c9d72507563"
32
+
"sha512=e12ebc70cddc0fb0933fb331fef81ca6010340146d163bef673a2222a84bc3c5656c508a561702ac1f7fdb9d691ab0e423bc0c12361b81377c4cd682739e6e91"
33
+
]
34
+
}