Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Align QCheck 0.9 and 0.10 versions #24703

Merged
merged 11 commits into from
Nov 7, 2023
Merged

Align QCheck 0.9 and 0.10 versions #24703

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
11 commits
Select commit Hold shift + click to select a range
6426e01
Align qcheck.0.9 versions
jmid Oct 27, 2023
fd13aa1
Align qcheck.0.10 versions
jmid Oct 27, 2023
17777e9
Add missing alcotest bound for qcheck-alcotest.0.10
jmid Oct 31, 2023
9b2e19d
Add missing alcotest bound for qcheck-alcotest.0.11-0.18.1
jmid Oct 31, 2023
7b2d76a
Fix qcheck* package synopsis warning
jmid Oct 31, 2023
4039c83
Add missing license field for qcheck* 0.9-0.17
jmid Oct 31, 2023
7261a35
Fix opam lint for qcheck-core.0.9 too
jmid Oct 31, 2023
236b2b7
Align qcheck-alcotest.0.18 and 0.18.1 with-test deps to make expect t…
jmid Oct 31, 2023
77b73a9
Mark old qcheck pre-qcheck-core versions as conflicting with it
jmid Nov 1, 2023
ac2e54a
Make old qcheck opam files pass opam lint
jmid Nov 1, 2023
2321246
Merge remote-tracking branch 'upstream/master' into qcheck-version-align
jmid Nov 6, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
5 changes: 3 additions & 2 deletions packages/qcheck-alcotest/qcheck-alcotest.0.10/opam
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,7 @@
opam-version: "2.0"
synopsis: "Alcotest backend for qcheck"
maintainer: "simon.cruanes.2007@m4x.org"
license: "BSD-2-Clause"
authors: "Simon Cruanes <simon.cruanes.2007@m4x.org>"
tags: ["test" "property" "quickcheck"]
homepage: "https://github.com/c-cube/qcheck/"
Expand All @@ -10,8 +11,8 @@ depends: [
"dune"
"base-bytes"
"base-unix"
"qcheck-core" {>= "0.9" & < "0.15"}
"alcotest"
"qcheck-core" {= version}
"alcotest" {>= "0.8.0"}
"odoc" {with-doc}
"ocaml" {>= "4.03.0"}
]
Expand Down
5 changes: 3 additions & 2 deletions packages/qcheck-alcotest/qcheck-alcotest.0.11/opam
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,7 @@
opam-version: "2.0"
synopsis: "Alcotest backend for qcheck"
maintainer: "simon.cruanes.2007@m4x.org"
license: "BSD-2-Clause"
authors: "Simon Cruanes <simon.cruanes.2007@m4x.org>"
tags: ["test" "quickcheck" "qcheck" "alcotest"]
homepage: "https://github.com/c-cube/qcheck/"
Expand All @@ -11,7 +12,7 @@ depends: [
"base-bytes"
"base-unix"
"qcheck-core" {= version}
"alcotest"
"alcotest" {>= "0.8.0"}
"odoc" {with-doc}
"ocaml" {>= "4.03.0"}
]
Expand All @@ -27,4 +28,4 @@ url {
"md5=36f06108bb49df27b8a1b95aacfd4859"
"sha512=80d98632cc0a93ae9d0e2d1f393134171518d7fdc5f19d5583964254c31cf18c8f587f0d50e0b4b41e2ded1129715acde16b8de57b35ed6b69f2e7de5a50eee9"
]
}
}
3 changes: 2 additions & 1 deletion packages/qcheck-alcotest/qcheck-alcotest.0.12/opam
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,7 @@
opam-version: "2.0"
maintainer: "simon.cruanes.2007@m4x.org"
homepage: "https://github.com/c-cube/qcheck/"
license: "BSD-2-Clause"
synopsis: "Alcotest backend for qcheck"
doc: ["http://c-cube.github.io/qcheck/"]
tags: [
Expand All @@ -19,7 +20,7 @@ depends: [
"base-bytes"
"base-unix"
"qcheck-core" { = version }
"alcotest"
"alcotest" {>= "0.8.0"}
"odoc" {with-doc}
"ocaml" {>= "4.03.0"}
]
Expand Down
3 changes: 2 additions & 1 deletion packages/qcheck-alcotest/qcheck-alcotest.0.13/opam
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,7 @@
opam-version: "2.0"
maintainer: "simon.cruanes.2007@m4x.org"
homepage: "https://github.com/c-cube/qcheck/"
license: "BSD-2-Clause"
synopsis: "Alcotest backend for qcheck"
doc: ["http://c-cube.github.io/qcheck/"]
tags: [
Expand All @@ -19,7 +20,7 @@ depends: [
"base-bytes"
"base-unix"
"qcheck-core" { = version }
"alcotest"
"alcotest" {>= "0.8.0"}
"odoc" {with-doc}
"ocaml" {>= "4.03.0"}
]
Expand Down
3 changes: 2 additions & 1 deletion packages/qcheck-alcotest/qcheck-alcotest.0.14/opam
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,7 @@
opam-version: "2.0"
maintainer: "simon.cruanes.2007@m4x.org"
homepage: "https://github.com/c-cube/qcheck/"
license: "BSD-2-Clause"
synopsis: "Alcotest backend for qcheck"
doc: ["http://c-cube.github.io/qcheck/"]
tags: [
Expand All @@ -19,7 +20,7 @@ depends: [
"base-bytes"
"base-unix"
"qcheck-core" { = version }
"alcotest"
"alcotest" {>= "0.8.0"}
"odoc" {with-doc}
"ocaml" {>= "4.03.0"}
]
Expand Down
5 changes: 3 additions & 2 deletions packages/qcheck-alcotest/qcheck-alcotest.0.15/opam
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,7 @@
opam-version: "2.0"
synopsis: "Alcotest backend for qcheck"
maintainer: "simon.cruanes.2007@m4x.org"
license: "BSD-2-Clause"
authors: "Simon Cruanes <simon.cruanes.2007@m4x.org>"
tags: ["test" "quickcheck" "qcheck" "alcotest"]
homepage: "https://github.com/c-cube/qcheck/"
Expand All @@ -11,7 +12,7 @@ depends: [
"base-bytes"
"base-unix"
"qcheck-core" {= version}
"alcotest"
"alcotest" {>= "0.8.0"}
"odoc" {with-doc}
"ocaml" {>= "4.03.0"}
]
Expand All @@ -27,4 +28,4 @@ url {
"md5=1afd9ea21b86a726f337ea26920ce918"
"sha512=83bde44aa688a590450ca803c1704fda04ab33135ecbc16cbd41758728e65cc4629fa859d4e7e14953ca3ab0c709555b165c05770aafb8711e4101b1a9f211e1"
]
}
}
3 changes: 2 additions & 1 deletion packages/qcheck-alcotest/qcheck-alcotest.0.16/opam
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,7 @@
opam-version: "2.0"
maintainer: "simon.cruanes.2007@m4x.org"
homepage: "https://github.com/c-cube/qcheck/"
license: "BSD-2-Clause"
synopsis: "Alcotest backend for qcheck"
doc: ["http://c-cube.github.io/qcheck/"]
tags: [
Expand All @@ -19,7 +20,7 @@ depends: [
"base-bytes"
"base-unix"
"qcheck-core" { = version }
"alcotest"
"alcotest" {>= "0.8.0"}
"odoc" {with-doc}
"ocaml" {>= "4.03.0"}
]
Expand Down
3 changes: 2 additions & 1 deletion packages/qcheck-alcotest/qcheck-alcotest.0.17/opam
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,7 @@
opam-version: "2.0"
maintainer: "simon.cruanes.2007@m4x.org"
homepage: "https://github.com/c-cube/qcheck/"
license: "BSD-2-Clause"
synopsis: "Alcotest backend for qcheck"
doc: ["http://c-cube.github.io/qcheck/"]
tags: [
Expand All @@ -19,7 +20,7 @@ depends: [
"base-bytes"
"base-unix"
"qcheck-core" { = version }
"alcotest"
"alcotest" {>= "0.8.0"}
"odoc" {with-doc}
"ocaml" {>= "4.03.0"}
]
Expand Down
2 changes: 1 addition & 1 deletion packages/qcheck-alcotest/qcheck-alcotest.0.18.1/opam
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@ depends: [
"base-bytes"
"base-unix"
"qcheck-core" { = version }
"alcotest"
"alcotest" { (>= "0.8.0" & ! with-test) | (>= "1.4" & < "1.5") } # Tests snapshot Alcotest output, so need a fixed minor version
"odoc" {with-doc}
"ocaml" {>= "4.08.0"}
]
Expand Down
2 changes: 1 addition & 1 deletion packages/qcheck-alcotest/qcheck-alcotest.0.18/opam
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@ depends: [
"base-bytes"
"base-unix"
"qcheck-core" { = version }
"alcotest" { ! with-test | (>= "1.4" & < "1.5") } # Tests snapshot Alcotest output, so need a fixed minor version
"alcotest" { (>= "0.8.0" & ! with-test) | (>= "1.4" & < "1.5") } # Tests snapshot Alcotest output, so need a fixed minor version
"odoc" {with-doc}
"ocaml" {>= "4.08.0"}
]
Expand Down
5 changes: 3 additions & 2 deletions packages/qcheck-alcotest/qcheck-alcotest.0.9/opam
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,5 +1,6 @@
opam-version: "2.0"
maintainer: "simon.cruanes.2007@m4x.org"
license: "BSD-2-Clause"
authors: "Simon Cruanes <simon.cruanes.2007@m4x.orgr>"
tags: ["test" "property" "quickcheck"]
homepage: "https://github.com/c-cube/qcheck/"
Expand All @@ -10,7 +11,7 @@ depends: [
"ocaml" {>= "4.03.0"}
"base-bytes"
"base-unix"
"qcheck-core" {>= "0.9" & < "0.15"}
"qcheck-core" {= version}
"alcotest" {>= "0.8.0"}
"odoc" {with-doc}
]
Expand All @@ -20,7 +21,7 @@ build:[
["dune" "build" "@doc" "-p" name] {with-doc}
]
dev-repo: "git+https://github.com/c-cube/qcheck.git"
synopsis: "QuickCheck inspired property-based testing for OCaml."
synopsis: "QuickCheck inspired property-based testing for OCaml"
description: """
This module provides QCheck integration with alcotest."""
url {
Expand Down
3 changes: 2 additions & 1 deletion packages/qcheck-core/qcheck-core.0.10/opam
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,7 @@
opam-version: "2.0"
synopsis: "Core qcheck library"
maintainer: "simon.cruanes.2007@m4x.org"
license: "BSD-2-Clause"
authors: "Simon Cruanes <simon.cruanes.2007@m4x.org>"
tags: ["test" "property" "quickcheck"]
homepage: "https://github.com/c-cube/qcheck/"
Expand Down Expand Up @@ -28,4 +29,4 @@ url {
"md5=de3599bfa7ad2a4981c289affeb9bf6e"
"sha512=250d7934012455d29d95b710f5b42bbe3ea42e6ec1b5781dba807781ac9d5a66ca39dc4535667fd9b00bfcc566e11dbdb3f7306dde1d8f0e9f90d1447cdc4d97"
]
}
}
3 changes: 2 additions & 1 deletion packages/qcheck-core/qcheck-core.0.11/opam
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,7 @@
opam-version: "2.0"
synopsis: "Core qcheck library"
maintainer: "simon.cruanes.2007@m4x.org"
license: "BSD-2-Clause"
authors: "Simon Cruanes <simon.cruanes.2007@m4x.org>"
tags: ["test" "property" "quickcheck"]
homepage: "https://github.com/c-cube/qcheck/"
Expand Down Expand Up @@ -28,4 +29,4 @@ url {
"md5=36f06108bb49df27b8a1b95aacfd4859"
"sha512=80d98632cc0a93ae9d0e2d1f393134171518d7fdc5f19d5583964254c31cf18c8f587f0d50e0b4b41e2ded1129715acde16b8de57b35ed6b69f2e7de5a50eee9"
]
}
}
1 change: 1 addition & 0 deletions packages/qcheck-core/qcheck-core.0.12/opam
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,7 @@
opam-version: "2.0"
maintainer: "simon.cruanes.2007@m4x.org"
homepage: "https://github.com/c-cube/qcheck/"
license: "BSD-2-Clause"
synopsis: "Core qcheck library"
doc: ["http://c-cube.github.io/qcheck/"]
tags: [
Expand Down
1 change: 1 addition & 0 deletions packages/qcheck-core/qcheck-core.0.13/opam
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,7 @@
opam-version: "2.0"
maintainer: "simon.cruanes.2007@m4x.org"
homepage: "https://github.com/c-cube/qcheck/"
license: "BSD-2-Clause"
synopsis: "Core qcheck library"
doc: ["http://c-cube.github.io/qcheck/"]
tags: [
Expand Down
1 change: 1 addition & 0 deletions packages/qcheck-core/qcheck-core.0.14/opam
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,7 @@
opam-version: "2.0"
maintainer: "simon.cruanes.2007@m4x.org"
homepage: "https://github.com/c-cube/qcheck/"
license: "BSD-2-Clause"
synopsis: "Core qcheck library"
doc: ["http://c-cube.github.io/qcheck/"]
tags: [
Expand Down
3 changes: 2 additions & 1 deletion packages/qcheck-core/qcheck-core.0.15/opam
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,7 @@
opam-version: "2.0"
synopsis: "Core qcheck library"
maintainer: "simon.cruanes.2007@m4x.org"
license: "BSD-2-Clause"
authors: "Simon Cruanes <simon.cruanes.2007@m4x.org>"
tags: ["test" "property" "quickcheck"]
homepage: "https://github.com/c-cube/qcheck/"
Expand Down Expand Up @@ -28,4 +29,4 @@ url {
"md5=1afd9ea21b86a726f337ea26920ce918"
"sha512=83bde44aa688a590450ca803c1704fda04ab33135ecbc16cbd41758728e65cc4629fa859d4e7e14953ca3ab0c709555b165c05770aafb8711e4101b1a9f211e1"
]
}
}
1 change: 1 addition & 0 deletions packages/qcheck-core/qcheck-core.0.16/opam
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,7 @@
opam-version: "2.0"
maintainer: "simon.cruanes.2007@m4x.org"
homepage: "https://github.com/c-cube/qcheck/"
license: "BSD-2-Clause"
synopsis: "Core qcheck library"
doc: ["http://c-cube.github.io/qcheck/"]
tags: [
Expand Down
1 change: 1 addition & 0 deletions packages/qcheck-core/qcheck-core.0.17/opam
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,7 @@
opam-version: "2.0"
maintainer: "simon.cruanes.2007@m4x.org"
homepage: "https://github.com/c-cube/qcheck/"
license: "BSD-2-Clause"
synopsis: "Core qcheck library"
doc: ["http://c-cube.github.io/qcheck/"]
tags: [
Expand Down
3 changes: 2 additions & 1 deletion packages/qcheck-core/qcheck-core.0.9/opam
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,5 +1,6 @@
opam-version: "2.0"
maintainer: "simon.cruanes.2007@m4x.org"
license: "BSD-2-Clause"
authors: "Simon Cruanes <simon.cruanes.2007@m4x.orgr>"
tags: ["test" "property" "quickcheck"]
homepage: "https://github.com/c-cube/qcheck/"
Expand All @@ -21,7 +22,7 @@ build: [
["dune" "build" "@doc" "-p" name] {with-doc}
]
dev-repo: "git+https://github.com/c-cube/qcheck.git"
synopsis: "QuickCheck inspired property-based testing for OCaml."
synopsis: "QuickCheck inspired property-based testing for OCaml"
description: """
This module allows to check invariants (properties of some types) over
randomly generated instances of the type. It provides combinators for
Expand Down
3 changes: 2 additions & 1 deletion packages/qcheck-ounit/qcheck-ounit.0.10/opam
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,7 @@
opam-version: "2.0"
synopsis: "OUnit backend for qcheck"
maintainer: "simon.cruanes.2007@m4x.org"
license: "BSD-2-Clause"
authors: "Simon Cruanes <simon.cruanes.2007@m4x.org>"
tags: ["test" "property" "quickcheck"]
homepage: "https://github.com/c-cube/qcheck/"
Expand All @@ -10,7 +11,7 @@ depends: [
"dune"
"base-bytes"
"base-unix"
"qcheck-core" {>= "0.9" & < "0.15"}
"qcheck-core" {= version}
"ounit" {>= "2.0"}
"odoc" {with-doc}
"ocaml" {>= "4.03.0"}
Expand Down
3 changes: 2 additions & 1 deletion packages/qcheck-ounit/qcheck-ounit.0.11/opam
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,7 @@
opam-version: "2.0"
synopsis: "OUnit backend for qcheck"
maintainer: "simon.cruanes.2007@m4x.org"
license: "BSD-2-Clause"
authors: "Simon Cruanes <simon.cruanes.2007@m4x.org>"
tags: ["qcheck" "quickcheck" "ounit"]
homepage: "https://github.com/c-cube/qcheck/"
Expand All @@ -27,4 +28,4 @@ url {
"md5=36f06108bb49df27b8a1b95aacfd4859"
"sha512=80d98632cc0a93ae9d0e2d1f393134171518d7fdc5f19d5583964254c31cf18c8f587f0d50e0b4b41e2ded1129715acde16b8de57b35ed6b69f2e7de5a50eee9"
]
}
}
1 change: 1 addition & 0 deletions packages/qcheck-ounit/qcheck-ounit.0.12/opam
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,5 +1,6 @@
opam-version: "2.0"
maintainer: "simon.cruanes.2007@m4x.org"
license: "BSD-2-Clause"
homepage: "https://github.com/c-cube/qcheck/"
doc: ["http://c-cube.github.io/qcheck/"]
synopsis: "OUnit backend for qcheck"
Expand Down
1 change: 1 addition & 0 deletions packages/qcheck-ounit/qcheck-ounit.0.13/opam
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,5 +1,6 @@
opam-version: "2.0"
maintainer: "simon.cruanes.2007@m4x.org"
license: "BSD-2-Clause"
homepage: "https://github.com/c-cube/qcheck/"
doc: ["http://c-cube.github.io/qcheck/"]
synopsis: "OUnit backend for qcheck"
Expand Down
1 change: 1 addition & 0 deletions packages/qcheck-ounit/qcheck-ounit.0.14/opam
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,5 +1,6 @@
opam-version: "2.0"
maintainer: "simon.cruanes.2007@m4x.org"
license: "BSD-2-Clause"
homepage: "https://github.com/c-cube/qcheck/"
doc: ["http://c-cube.github.io/qcheck/"]
synopsis: "OUnit backend for qcheck"
Expand Down
3 changes: 2 additions & 1 deletion packages/qcheck-ounit/qcheck-ounit.0.15/opam
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,7 @@
opam-version: "2.0"
synopsis: "OUnit backend for qcheck"
maintainer: "simon.cruanes.2007@m4x.org"
license: "BSD-2-Clause"
authors: "Simon Cruanes <simon.cruanes.2007@m4x.org>"
tags: ["qcheck" "quickcheck" "ounit"]
homepage: "https://github.com/c-cube/qcheck/"
Expand All @@ -27,4 +28,4 @@ url {
"md5=1afd9ea21b86a726f337ea26920ce918"
"sha512=83bde44aa688a590450ca803c1704fda04ab33135ecbc16cbd41758728e65cc4629fa859d4e7e14953ca3ab0c709555b165c05770aafb8711e4101b1a9f211e1"
]
}
}
1 change: 1 addition & 0 deletions packages/qcheck-ounit/qcheck-ounit.0.16/opam
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,5 +1,6 @@
opam-version: "2.0"
maintainer: "simon.cruanes.2007@m4x.org"
license: "BSD-2-Clause"
homepage: "https://github.com/c-cube/qcheck/"
doc: ["http://c-cube.github.io/qcheck/"]
synopsis: "OUnit backend for qcheck"
Expand Down
1 change: 1 addition & 0 deletions packages/qcheck-ounit/qcheck-ounit.0.17/opam
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,5 +1,6 @@
opam-version: "2.0"
maintainer: "simon.cruanes.2007@m4x.org"
license: "BSD-2-Clause"
homepage: "https://github.com/c-cube/qcheck/"
doc: ["http://c-cube.github.io/qcheck/"]
synopsis: "OUnit backend for qcheck"
Expand Down
Loading