Skip to content

Commit d3211dd

Browse files
committed
Uniformly require at least alcotest.1.2.0
1 parent f97eba5 commit d3211dd

File tree

2 files changed

+2
-2
lines changed

2 files changed

+2
-2
lines changed

qcheck-alcotest.opam

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -21,7 +21,7 @@ depends: [
2121
"dune" { >= "2.8.0" }
2222
"base-unix"
2323
"qcheck-core" { = version }
24-
"alcotest" {>= "0.8.1"}
24+
"alcotest" {>= "1.2.0"}
2525
"odoc" {with-doc}
2626
"ocaml" {>= "4.08.0"}
2727
]

qcheck.opam

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -21,7 +21,7 @@ depends: [
2121
"base-unix"
2222
"qcheck-core" { = version }
2323
"qcheck-ounit" { = version }
24-
"alcotest" {with-test}
24+
"alcotest" {with-test & >= "1.2.0"}
2525
"odoc" {with-doc}
2626
"ocaml" {>= "4.08.0"}
2727
]

0 commit comments

Comments
 (0)