Skip to content

Commit a7100b8

Browse files
jmidjmid
committed
4 packages from c-cube/qcheck at 0.24
1 parent 717e57b commit a7100b8

File tree

4 files changed

+130
-0
lines changed
  • packages
    • qcheck-alcotest/qcheck-alcotest.0.24
    • qcheck-core/qcheck-core.0.24
    • qcheck-ounit/qcheck-ounit.0.24
    • qcheck/qcheck.0.24

4 files changed

+130
-0
lines changed

‎packages/qcheck-alcotest/qcheck-alcotest.0.24/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.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=cd03561cfc31e08e3a2f1115ee3f89fe"
28+
"sha512=c7c1f437da940ba4bcf226e77d157633d25c0aa2567d3630be66c177bdd6bc920c406c0f810e0bf0e585c7a141c49507a2902331452a0b4651a5bac0660f2b49"
29+
]
30+
}
31+
x-maintenance-intent: ["(latest)"]

‎packages/qcheck-core/qcheck-core.0.24/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.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=cd03561cfc31e08e3a2f1115ee3f89fe"
30+
"sha512=c7c1f437da940ba4bcf226e77d157633d25c0aa2567d3630be66c177bdd6bc920c406c0f810e0bf0e585c7a141c49507a2902331452a0b4651a5bac0660f2b49"
31+
]
32+
}
33+
x-maintenance-intent: ["(latest)"]

‎packages/qcheck-ounit/qcheck-ounit.0.24/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.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=cd03561cfc31e08e3a2f1115ee3f89fe"
28+
"sha512=c7c1f437da940ba4bcf226e77d157633d25c0aa2567d3630be66c177bdd6bc920c406c0f810e0bf0e585c7a141c49507a2902331452a0b4651a5bac0660f2b49"
29+
]
30+
}
31+
x-maintenance-intent: ["(latest)"]

‎packages/qcheck/qcheck.0.24/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.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=cd03561cfc31e08e3a2f1115ee3f89fe"
32+
"sha512=c7c1f437da940ba4bcf226e77d157633d25c0aa2567d3630be66c177bdd6bc920c406c0f810e0bf0e585c7a141c49507a2902331452a0b4651a5bac0660f2b49"
33+
]
34+
}
35+
x-maintenance-intent: ["(latest)"]

0 commit comments

Comments
 (0)