|
 |
f9836d6 |
--- qcheck-0.21.1/qcheck-alcotest.opam.orig 2023-05-19 09:48:21.000000000 -0600
|
|
|
f9836d6 |
+++ qcheck-0.21.1/qcheck-alcotest.opam 2023-06-24 11:17:39.652323854 -0600
|
|
|
f9836d6 |
@@ -19,7 +19,6 @@ build: [
|
|
|
f9836d6 |
]
|
|
|
f9836d6 |
depends: [
|
|
|
f9836d6 |
"dune" { >= "2.8.0" }
|
|
|
f9836d6 |
- "base-bytes"
|
|
|
f9836d6 |
"base-unix"
|
|
|
f9836d6 |
"qcheck-core" { = version }
|
|
|
f9836d6 |
"alcotest" {>= "0.8.1"}
|
|
|
f9836d6 |
--- qcheck-0.21.1/qcheck-core.opam.orig 2023-05-19 09:48:21.000000000 -0600
|
|
|
f9836d6 |
+++ qcheck-0.21.1/qcheck-core.opam 2023-06-24 11:17:59.259055244 -0600
|
|
|
f9836d6 |
@@ -18,7 +18,6 @@ build: [
|
|
|
f9836d6 |
]
|
|
|
f9836d6 |
depends: [
|
|
|
f9836d6 |
"dune" { >= "2.8.0" }
|
|
|
f9836d6 |
- "base-bytes"
|
|
|
f9836d6 |
"base-unix"
|
|
|
f9836d6 |
"alcotest" {with-test}
|
|
|
f9836d6 |
"odoc" {with-doc}
|
|
|
f9836d6 |
--- qcheck-0.21.1/qcheck.opam.orig 2023-05-19 09:48:21.000000000 -0600
|
|
|
f9836d6 |
+++ qcheck-0.21.1/qcheck.opam 2023-06-24 11:15:43.684929214 -0600
|
|
|
f9836d6 |
@@ -18,7 +18,6 @@ build: [
|
|
|
f9836d6 |
]
|
|
|
f9836d6 |
depends: [
|
|
|
f9836d6 |
"dune" { >= "2.8.0" }
|
|
|
f9836d6 |
- "base-bytes"
|
|
|
f9836d6 |
"base-unix"
|
|
|
f9836d6 |
"qcheck-core" { = version }
|
|
|
f9836d6 |
"qcheck-ounit" { = version }
|
|
|
f9836d6 |
--- qcheck-0.21.1/qcheck-ounit.opam.orig 2023-05-19 09:48:21.000000000 -0600
|
|
|
f9836d6 |
+++ qcheck-0.21.1/qcheck-ounit.opam 2023-06-24 11:18:09.138919892 -0600
|
|
|
f9836d6 |
@@ -18,7 +18,6 @@ build: [
|
|
|
f9836d6 |
]
|
|
|
f9836d6 |
depends: [
|
|
|
f9836d6 |
"dune" { >= "2.8.0" }
|
|
|
f9836d6 |
- "base-bytes"
|
|
|
f9836d6 |
"base-unix"
|
|
|
f9836d6 |
"qcheck-core" { = version }
|
|
|
f9836d6 |
"ounit2"
|
|
|
f9836d6 |
--- qcheck-0.21.1/src/alcotest/dune.orig 2023-05-19 09:48:21.000000000 -0600
|
|
|
f9836d6 |
+++ qcheck-0.21.1/src/alcotest/dune 2023-06-24 11:18:36.292547922 -0600
|
|
|
f9836d6 |
@@ -3,6 +3,6 @@
|
|
|
f9836d6 |
(name qcheck_alcotest)
|
|
|
f9836d6 |
(public_name qcheck-alcotest)
|
|
|
f9836d6 |
(wrapped false)
|
|
|
f9836d6 |
- (libraries unix bytes qcheck-core qcheck-core.runner alcotest)
|
|
|
f9836d6 |
+ (libraries unix qcheck-core qcheck-core.runner alcotest)
|
|
|
f9836d6 |
(flags :standard -w +a-4-42-44-48-50-58-32-60@8 -safe-string)
|
|
|
f9836d6 |
)
|
|
|
f9836d6 |
--- qcheck-0.21.1/src/core/dune.orig 2023-06-24 11:22:18.363353691 -0600
|
|
|
f9836d6 |
+++ qcheck-0.21.1/src/core/dune 2023-06-24 11:22:32.697115131 -0600
|
|
|
f9836d6 |
@@ -3,7 +3,7 @@
|
|
|
f9836d6 |
(name qcheck_core)
|
|
|
f9836d6 |
(public_name qcheck-core)
|
|
|
f9836d6 |
(wrapped false)
|
|
|
f9836d6 |
- (libraries unix bytes)
|
|
|
f9836d6 |
+ (libraries unix)
|
|
|
f9836d6 |
(c_library_flags -lm)
|
|
|
f9836d6 |
(flags :standard -w +a-4-42-44-48-50-58-32-60@8 -safe-string)
|
|
|
f9836d6 |
)
|
|
|
f9836d6 |
--- qcheck-0.21.1/src/ounit/dune.orig 2023-05-19 09:48:21.000000000 -0600
|
|
|
f9836d6 |
+++ qcheck-0.21.1/src/ounit/dune 2023-06-24 11:18:53.212316123 -0600
|
|
|
f9836d6 |
@@ -3,6 +3,6 @@
|
|
|
f9836d6 |
(name qcheck_ounit)
|
|
|
f9836d6 |
(public_name qcheck-ounit)
|
|
|
f9836d6 |
(wrapped false)
|
|
|
f9836d6 |
- (libraries unix bytes qcheck-core qcheck-core.runner ounit2)
|
|
|
f9836d6 |
+ (libraries unix qcheck-core qcheck-core.runner ounit2)
|
|
|
f9836d6 |
(flags :standard -w +a-4-42-44-48-50-58-32-60@8 -safe-string)
|
|
|
f9836d6 |
)
|