Skip to content

Commit c0d83da

Browse files
kit-ty-katekit-ty-kate
authored
Merge pull request ocaml#21692 from jmid/opam-publish-ppx_deriving_qcheck.0.2.0-qcheck.0.19-qcheck-alcotest.0.19-qcheck-core.0.19-qcheck-ounit.0.19
5 packages from c-cube/qcheck
2 parents 2df2389 + b3baf00 commit c0d83da

File tree

5 files changed

+160
-0
lines changed
  • packages
    • ppx_deriving_qcheck/ppx_deriving_qcheck.0.2.0
    • qcheck-alcotest/qcheck-alcotest.0.19
    • qcheck-core/qcheck-core.0.19
    • qcheck-ounit/qcheck-ounit.0.19
    • qcheck/qcheck.0.19

5 files changed

+160
-0
lines changed

‎packages/ppx_deriving_qcheck/ppx_deriving_qcheck.0.2.0/opam‎

Lines changed: 30 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,30 @@
1+
opam-version: "2.0"
2+
synopsis: "PPX Deriver for QCheck"
3+
maintainer: "[email protected]"
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" {>= "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.19.tar.gz"
26+
checksum: [
27+
"md5=6913306eb3065da1dee749d67732cb01"
28+
"sha512=ab77384e64887c4c88d6e641f433709a83bafc7cd2d05d548fdfee3593beb3bc5c4345db03e324e033ecd4fd2ae600fa92cea3e5753d5e322d13a01ba787eeb6"
29+
]
30+
}

‎packages/qcheck-alcotest/qcheck-alcotest.0.19/opam‎

Lines changed: 31 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,31 @@
1+
opam-version: "2.0"
2+
synopsis: "Alcotest backend for qcheck"
3+
maintainer: "[email protected]"
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.2"}
12+
"base-bytes"
13+
"base-unix"
14+
"qcheck-core" {= version}
15+
"alcotest" {>= "0.8.1"}
16+
"odoc" {with-doc}
17+
"ocaml" {>= "4.08.0"}
18+
]
19+
build: [
20+
["dune" "build" "-p" name "-j" jobs]
21+
["dune" "build" "@doc" "-p" name "-j" jobs] {with-doc}
22+
["dune" "runtest" "-p" name "-j" jobs] {with-test}
23+
]
24+
dev-repo: "git+https://github.com/c-cube/qcheck.git"
25+
url {
26+
src: "https://github.com/c-cube/qcheck/archive/v0.19.tar.gz"
27+
checksum: [
28+
"md5=6913306eb3065da1dee749d67732cb01"
29+
"sha512=ab77384e64887c4c88d6e641f433709a83bafc7cd2d05d548fdfee3593beb3bc5c4345db03e324e033ecd4fd2ae600fa92cea3e5753d5e322d13a01ba787eeb6"
30+
]
31+
}

‎packages/qcheck-core/qcheck-core.0.19/opam‎

Lines changed: 33 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,33 @@
1+
opam-version: "2.0"
2+
synopsis: "Core qcheck library"
3+
maintainer: "[email protected]"
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.2"}
12+
"base-bytes"
13+
"base-unix"
14+
"alcotest" {with-test}
15+
"odoc" {with-doc}
16+
"ocaml" {>= "4.08.0"}
17+
]
18+
conflicts: [
19+
"ounit" {< "2.0"}
20+
]
21+
build: [
22+
["dune" "build" "-p" name "-j" jobs]
23+
["dune" "build" "@doc" "-p" name "-j" jobs] {with-doc}
24+
["dune" "runtest" "-p" name "-j" jobs] {with-test}
25+
]
26+
dev-repo: "git+https://github.com/c-cube/qcheck.git"
27+
url {
28+
src: "https://github.com/c-cube/qcheck/archive/v0.19.tar.gz"
29+
checksum: [
30+
"md5=6913306eb3065da1dee749d67732cb01"
31+
"sha512=ab77384e64887c4c88d6e641f433709a83bafc7cd2d05d548fdfee3593beb3bc5c4345db03e324e033ecd4fd2ae600fa92cea3e5753d5e322d13a01ba787eeb6"
32+
]
33+
}

‎packages/qcheck-ounit/qcheck-ounit.0.19/opam‎

Lines changed: 31 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,31 @@
1+
opam-version: "2.0"
2+
synopsis: "OUnit backend for qcheck"
3+
maintainer: "[email protected]"
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.2"}
12+
"base-bytes"
13+
"base-unix"
14+
"qcheck-core" {= version}
15+
"ounit2"
16+
"odoc" {with-doc}
17+
"ocaml" {>= "4.08.0"}
18+
]
19+
build: [
20+
["dune" "build" "-p" name "-j" jobs]
21+
["dune" "build" "@doc" "-p" name "-j" jobs] {with-doc}
22+
["dune" "runtest" "-p" name "-j" jobs] {with-test}
23+
]
24+
dev-repo: "git+https://github.com/c-cube/qcheck.git"
25+
url {
26+
src: "https://github.com/c-cube/qcheck/archive/v0.19.tar.gz"
27+
checksum: [
28+
"md5=6913306eb3065da1dee749d67732cb01"
29+
"sha512=ab77384e64887c4c88d6e641f433709a83bafc7cd2d05d548fdfee3593beb3bc5c4345db03e324e033ecd4fd2ae600fa92cea3e5753d5e322d13a01ba787eeb6"
30+
]
31+
}

‎packages/qcheck/qcheck.0.19/opam‎

Lines changed: 35 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,35 @@
1+
opam-version: "2.0"
2+
synopsis: "Compatibility package for qcheck"
3+
maintainer: "[email protected]"
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.2"}
12+
"base-bytes"
13+
"base-unix"
14+
"qcheck-core" {= version}
15+
"qcheck-ounit" {= version}
16+
"alcotest" {with-test}
17+
"odoc" {with-doc}
18+
"ocaml" {>= "4.08.0"}
19+
]
20+
conflicts: [
21+
"ounit" {< "2.0"}
22+
]
23+
build: [
24+
["dune" "build" "-p" name "-j" jobs]
25+
["dune" "build" "@doc" "-p" name "-j" jobs] {with-doc}
26+
["dune" "runtest" "-p" name "-j" jobs] {with-test}
27+
]
28+
dev-repo: "git+https://github.com/c-cube/qcheck.git"
29+
url {
30+
src: "https://github.com/c-cube/qcheck/archive/v0.19.tar.gz"
31+
checksum: [
32+
"md5=6913306eb3065da1dee749d67732cb01"
33+
"sha512=ab77384e64887c4c88d6e641f433709a83bafc7cd2d05d548fdfee3593beb3bc5c4345db03e324e033ecd4fd2ae600fa92cea3e5753d5e322d13a01ba787eeb6"
34+
]
35+
}

0 commit comments

Comments
 (0)