Skip to content

Commit f06c012

Browse files
mserimseri
authored
Merge pull request ocaml#24703 from jmid/qcheck-version-align
Align QCheck 0.9 and 0.10 versions
2 parents c56764e + 2321246 commit f06c012

File tree

53 files changed

+109
-48
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

53 files changed

+109
-48
lines changed

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

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,7 @@
11
opam-version: "2.0"
22
synopsis: "Alcotest backend for qcheck"
33
maintainer: "[email protected]"
4+
license: "BSD-2-Clause"
45
authors: "Simon Cruanes <[email protected]>"
56
tags: ["test" "property" "quickcheck"]
67
homepage: "https://github.com/c-cube/qcheck/"
@@ -10,8 +11,8 @@ depends: [
1011
"dune"
1112
"base-bytes"
1213
"base-unix"
13-
"qcheck-core" {>= "0.9" & < "0.15"}
14-
"alcotest"
14+
"qcheck-core" {= version}
15+
"alcotest" {>= "0.8.0"}
1516
"odoc" {with-doc}
1617
"ocaml" {>= "4.03.0"}
1718
]

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

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,7 @@
11
opam-version: "2.0"
22
synopsis: "Alcotest backend for qcheck"
33
maintainer: "[email protected]"
4+
license: "BSD-2-Clause"
45
authors: "Simon Cruanes <[email protected]>"
56
tags: ["test" "quickcheck" "qcheck" "alcotest"]
67
homepage: "https://github.com/c-cube/qcheck/"
@@ -11,7 +12,7 @@ depends: [
1112
"base-bytes"
1213
"base-unix"
1314
"qcheck-core" {= version}
14-
"alcotest"
15+
"alcotest" {>= "0.8.0"}
1516
"odoc" {with-doc}
1617
"ocaml" {>= "4.03.0"}
1718
]
@@ -27,4 +28,4 @@ url {
2728
"md5=36f06108bb49df27b8a1b95aacfd4859"
2829
"sha512=80d98632cc0a93ae9d0e2d1f393134171518d7fdc5f19d5583964254c31cf18c8f587f0d50e0b4b41e2ded1129715acde16b8de57b35ed6b69f2e7de5a50eee9"
2930
]
30-
}
31+
}

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

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,7 @@
11
opam-version: "2.0"
22
maintainer: "[email protected]"
33
homepage: "https://github.com/c-cube/qcheck/"
4+
license: "BSD-2-Clause"
45
synopsis: "Alcotest backend for qcheck"
56
doc: ["http://c-cube.github.io/qcheck/"]
67
tags: [
@@ -19,7 +20,7 @@ depends: [
1920
"base-bytes"
2021
"base-unix"
2122
"qcheck-core" { = version }
22-
"alcotest"
23+
"alcotest" {>= "0.8.0"}
2324
"odoc" {with-doc}
2425
"ocaml" {>= "4.03.0"}
2526
]

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

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,7 @@
11
opam-version: "2.0"
22
maintainer: "[email protected]"
33
homepage: "https://github.com/c-cube/qcheck/"
4+
license: "BSD-2-Clause"
45
synopsis: "Alcotest backend for qcheck"
56
doc: ["http://c-cube.github.io/qcheck/"]
67
tags: [
@@ -19,7 +20,7 @@ depends: [
1920
"base-bytes"
2021
"base-unix"
2122
"qcheck-core" { = version }
22-
"alcotest"
23+
"alcotest" {>= "0.8.0"}
2324
"odoc" {with-doc}
2425
"ocaml" {>= "4.03.0"}
2526
]

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

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,7 @@
11
opam-version: "2.0"
22
maintainer: "[email protected]"
33
homepage: "https://github.com/c-cube/qcheck/"
4+
license: "BSD-2-Clause"
45
synopsis: "Alcotest backend for qcheck"
56
doc: ["http://c-cube.github.io/qcheck/"]
67
tags: [
@@ -19,7 +20,7 @@ depends: [
1920
"base-bytes"
2021
"base-unix"
2122
"qcheck-core" { = version }
22-
"alcotest"
23+
"alcotest" {>= "0.8.0"}
2324
"odoc" {with-doc}
2425
"ocaml" {>= "4.03.0"}
2526
]

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

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,7 @@
11
opam-version: "2.0"
22
synopsis: "Alcotest backend for qcheck"
33
maintainer: "[email protected]"
4+
license: "BSD-2-Clause"
45
authors: "Simon Cruanes <[email protected]>"
56
tags: ["test" "quickcheck" "qcheck" "alcotest"]
67
homepage: "https://github.com/c-cube/qcheck/"
@@ -11,7 +12,7 @@ depends: [
1112
"base-bytes"
1213
"base-unix"
1314
"qcheck-core" {= version}
14-
"alcotest"
15+
"alcotest" {>= "0.8.0"}
1516
"odoc" {with-doc}
1617
"ocaml" {>= "4.03.0"}
1718
]
@@ -27,4 +28,4 @@ url {
2728
"md5=1afd9ea21b86a726f337ea26920ce918"
2829
"sha512=83bde44aa688a590450ca803c1704fda04ab33135ecbc16cbd41758728e65cc4629fa859d4e7e14953ca3ab0c709555b165c05770aafb8711e4101b1a9f211e1"
2930
]
30-
}
31+
}

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

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,7 @@
11
opam-version: "2.0"
22
maintainer: "[email protected]"
33
homepage: "https://github.com/c-cube/qcheck/"
4+
license: "BSD-2-Clause"
45
synopsis: "Alcotest backend for qcheck"
56
doc: ["http://c-cube.github.io/qcheck/"]
67
tags: [
@@ -19,7 +20,7 @@ depends: [
1920
"base-bytes"
2021
"base-unix"
2122
"qcheck-core" { = version }
22-
"alcotest"
23+
"alcotest" {>= "0.8.0"}
2324
"odoc" {with-doc}
2425
"ocaml" {>= "4.03.0"}
2526
]

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

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,7 @@
11
opam-version: "2.0"
22
maintainer: "[email protected]"
33
homepage: "https://github.com/c-cube/qcheck/"
4+
license: "BSD-2-Clause"
45
synopsis: "Alcotest backend for qcheck"
56
doc: ["http://c-cube.github.io/qcheck/"]
67
tags: [
@@ -19,7 +20,7 @@ depends: [
1920
"base-bytes"
2021
"base-unix"
2122
"qcheck-core" { = version }
22-
"alcotest"
23+
"alcotest" {>= "0.8.0"}
2324
"odoc" {with-doc}
2425
"ocaml" {>= "4.03.0"}
2526
]

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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -20,7 +20,7 @@ depends: [
2020
"base-bytes"
2121
"base-unix"
2222
"qcheck-core" { = version }
23-
"alcotest"
23+
"alcotest" { (>= "0.8.0" & ! with-test) | (>= "1.4" & < "1.5") } # Tests snapshot Alcotest output, so need a fixed minor version
2424
"odoc" {with-doc}
2525
"ocaml" {>= "4.08.0"}
2626
]

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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -20,7 +20,7 @@ depends: [
2020
"base-bytes"
2121
"base-unix"
2222
"qcheck-core" { = version }
23-
"alcotest" { ! with-test | (>= "1.4" & < "1.5") } # Tests snapshot Alcotest output, so need a fixed minor version
23+
"alcotest" { (>= "0.8.0" & ! with-test) | (>= "1.4" & < "1.5") } # Tests snapshot Alcotest output, so need a fixed minor version
2424
"odoc" {with-doc}
2525
"ocaml" {>= "4.08.0"}
2626
]

0 commit comments

Comments
 (0)