Skip to content

Commit f586516

Browse files
jmidjmid
committed
4 packages from c-cube/qcheck at 0.27
1 parent 8a528d6 commit f586516

File tree

4 files changed

+154
-0
lines changed
  • packages
    • qcheck-alcotest/qcheck-alcotest.0.27
    • qcheck-core/qcheck-core.0.27
    • qcheck-ounit/qcheck-ounit.0.27
    • qcheck/qcheck.0.27

4 files changed

+154
-0
lines changed

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

Lines changed: 37 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,37 @@
1+
opam-version: "2.0"
2+
synopsis: "Alcotest backend for QCheck"
3+
description: """\
4+
QCheck is a QuickCheck inspired property-based testing library for OCaml.
5+
6+
The `qcheck-alcotest` library provides an integration layer for `QCheck` onto
7+
https://github.com/mirage/alcotest[`alcotest`], allowing to run property-based
8+
tests in `alcotest`."""
9+
maintainer: "[email protected]"
10+
authors: "the qcheck contributors"
11+
license: "BSD-2-Clause"
12+
tags: ["test" "quickcheck" "qcheck" "alcotest"]
13+
homepage: "https://github.com/c-cube/qcheck/"
14+
doc: "http://c-cube.github.io/qcheck/"
15+
bug-reports: "https://github.com/c-cube/qcheck/issues"
16+
depends: [
17+
"dune" {>= "2.8.0"}
18+
"base-unix"
19+
"qcheck-core" {= version}
20+
"alcotest" {>= "1.2.0"}
21+
"odoc" {with-doc}
22+
"ocaml" {>= "4.08.0"}
23+
]
24+
build: [
25+
["dune" "build" "-p" name "-j" jobs]
26+
["dune" "build" "@doc" "-p" name "-j" jobs] {with-doc}
27+
["dune" "runtest" "-p" name "-j" jobs] {with-test}
28+
]
29+
dev-repo: "git+https://github.com/c-cube/qcheck.git"
30+
url {
31+
src: "https://github.com/c-cube/qcheck/archive/v0.27.tar.gz"
32+
checksum: [
33+
"md5=dd6df3f9b934567e4b1292a183af0554"
34+
"sha512=8269cd3f4f73f9b62292c0288b430092ae0572682c167dc31d6837cbc833b8a5db66448768f8b88994ae94385c45cda489edcbdd4674f230b2e62527b1b744ac"
35+
]
36+
}
37+
x-maintenance-intent: ["(latest)"]

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

Lines changed: 38 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,38 @@
1+
opam-version: "2.0"
2+
synopsis: "Core QCheck library"
3+
description: """\
4+
QCheck is a QuickCheck inspired property-based testing library for OCaml.
5+
6+
The `qcheck-core` library provides the core property-based testing API with
7+
minimal dependendies: It requires only `unix` and `dune`."""
8+
maintainer: "[email protected]"
9+
authors: "the qcheck contributors"
10+
license: "BSD-2-Clause"
11+
tags: ["test" "property" "quickcheck"]
12+
homepage: "https://github.com/c-cube/qcheck/"
13+
doc: "http://c-cube.github.io/qcheck/"
14+
bug-reports: "https://github.com/c-cube/qcheck/issues"
15+
depends: [
16+
"dune" {>= "2.8.0"}
17+
"base-unix"
18+
"alcotest" {with-test & >= "1.2.0"}
19+
"odoc" {with-doc}
20+
"ocaml" {>= "4.08.0"}
21+
]
22+
conflicts: [
23+
"ounit" {< "2.0"}
24+
]
25+
build: [
26+
["dune" "build" "-p" name "-j" jobs]
27+
["dune" "build" "@doc" "-p" name "-j" jobs] {with-doc}
28+
["dune" "runtest" "-p" name "-j" jobs] {with-test}
29+
]
30+
dev-repo: "git+https://github.com/c-cube/qcheck.git"
31+
url {
32+
src: "https://github.com/c-cube/qcheck/archive/v0.27.tar.gz"
33+
checksum: [
34+
"md5=dd6df3f9b934567e4b1292a183af0554"
35+
"sha512=8269cd3f4f73f9b62292c0288b430092ae0572682c167dc31d6837cbc833b8a5db66448768f8b88994ae94385c45cda489edcbdd4674f230b2e62527b1b744ac"
36+
]
37+
}
38+
x-maintenance-intent: ["(latest)"]

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

Lines changed: 37 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,37 @@
1+
opam-version: "2.0"
2+
synopsis: "OUnit backend for QCheck"
3+
description: """\
4+
QCheck is a QuickCheck inspired property-based testing library for OCaml.
5+
6+
The `qcheck-ounit` library provides an integration layer for `QCheck` onto
7+
https://github.com/gildor478/ounit[`OUnit`], allowing to run property-based
8+
tests in `OUnit`."""
9+
maintainer: "[email protected]"
10+
authors: "the qcheck contributors"
11+
license: "BSD-2-Clause"
12+
tags: ["qcheck" "quickcheck" "ounit"]
13+
homepage: "https://github.com/c-cube/qcheck/"
14+
doc: "http://c-cube.github.io/qcheck/"
15+
bug-reports: "https://github.com/c-cube/qcheck/issues"
16+
depends: [
17+
"dune" {>= "2.8.0"}
18+
"base-unix"
19+
"qcheck-core" {= version}
20+
"ounit2"
21+
"odoc" {with-doc}
22+
"ocaml" {>= "4.08.0"}
23+
]
24+
build: [
25+
["dune" "build" "-p" name "-j" jobs]
26+
["dune" "build" "@doc" "-p" name "-j" jobs] {with-doc}
27+
["dune" "runtest" "-p" name "-j" jobs] {with-test}
28+
]
29+
dev-repo: "git+https://github.com/c-cube/qcheck.git"
30+
url {
31+
src: "https://github.com/c-cube/qcheck/archive/v0.27.tar.gz"
32+
checksum: [
33+
"md5=dd6df3f9b934567e4b1292a183af0554"
34+
"sha512=8269cd3f4f73f9b62292c0288b430092ae0572682c167dc31d6837cbc833b8a5db66448768f8b88994ae94385c45cda489edcbdd4674f230b2e62527b1b744ac"
35+
]
36+
}
37+
x-maintenance-intent: ["(latest)"]

‎packages/qcheck/qcheck.0.27/opam‎

Lines changed: 42 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,42 @@
1+
opam-version: "2.0"
2+
synopsis: "Compatibility package for QCheck"
3+
description: """\
4+
QCheck is a QuickCheck inspired property-based testing library for OCaml.
5+
6+
The `qcheck` library provides a compatibility API with older versions of QCheck,
7+
and depends upon both `qcheck-core` and `qcheck-ounit`.
8+
9+
For fewer dependencies and new developments `qcheck-core` is recommended."""
10+
maintainer: "[email protected]"
11+
authors: "the qcheck contributors"
12+
license: "BSD-2-Clause"
13+
tags: ["test" "property" "quickcheck"]
14+
homepage: "https://github.com/c-cube/qcheck/"
15+
doc: "http://c-cube.github.io/qcheck/"
16+
bug-reports: "https://github.com/c-cube/qcheck/issues"
17+
depends: [
18+
"dune" {>= "2.8.0"}
19+
"base-unix"
20+
"qcheck-core" {= version}
21+
"qcheck-ounit" {= version}
22+
"alcotest" {with-test & >= "1.2.0"}
23+
"odoc" {with-doc}
24+
"ocaml" {>= "4.08.0"}
25+
]
26+
conflicts: [
27+
"ounit" {< "2.0"}
28+
]
29+
build: [
30+
["dune" "build" "-p" name "-j" jobs]
31+
["dune" "build" "@doc" "-p" name "-j" jobs] {with-doc}
32+
["dune" "runtest" "-p" name "-j" jobs] {with-test}
33+
]
34+
dev-repo: "git+https://github.com/c-cube/qcheck.git"
35+
url {
36+
src: "https://github.com/c-cube/qcheck/archive/v0.27.tar.gz"
37+
checksum: [
38+
"md5=dd6df3f9b934567e4b1292a183af0554"
39+
"sha512=8269cd3f4f73f9b62292c0288b430092ae0572682c167dc31d6837cbc833b8a5db66448768f8b88994ae94385c45cda489edcbdd4674f230b2e62527b1b744ac"
40+
]
41+
}
42+
x-maintenance-intent: ["(latest)"]

0 commit comments

Comments
 (0)