Bump qcheck version to 0.25

Author: Halbaroth

alt-ergo-lib.opam

@@ -29,7 +29,7 @@ depends: [
   "ppx_deriving"
   "odoc" {with-doc}
   "ppx_deriving"
-  "qcheck" {with-test & = "0.22"}
+  "qcheck" {with-test & = "0.25"}
 ]
 conflicts: [
   "ppxlib" {< "0.30.0"}

alt-ergo-lib.opam.locked

@@ -17,49 +17,44 @@ doc: "https://ocamlpro.github.io/alt-ergo"
 bug-reports: "https://github.com/OCamlPro/alt-ergo/issues"
 depends: [
   "base-bigarray" {= "base"}
-  "base-bytes" {= "base"}
   "base-threads" {= "base"}
   "base-unix" {= "base"}
   "cmdliner" {= "1.3.0"}
   "conf-gmp" {= "5"}
   "conf-pkg-config" {= "4"}
   "cppo" {= "1.8.0"}
-  "csexp" {= "1.5.2"}
   "dolmen" {= "0.10"}
   "dolmen_loop" {= "0.10"}
   "dolmen_type" {= "0.10"}
-  "dune" {= "3.19.0"}
-  "dune-build-info" {= "3.19.0"}
-  "dune-configurator" {= "3.19.0"}
+  "dune" {= "3.19.1"}
+  "dune-build-info" {= "3.19.1"}
   "fmt" {= "0.10.0"}
   "gen" {= "1.1"}
   "hmap" {= "0.8.1"}
-  "js_of_ocaml" {= "6.0.1"}
-  "js_of_ocaml-compiler" {= "6.0.1"}
-  "logs" {= "0.6.3"}
-  "lwt" {= "5.9.1"}
+  "logs" {= "0.8.0"}
   "menhir" {= "20240715"}
   "menhirCST" {= "20240715"}
   "menhirLib" {= "20240715"}
   "menhirSdk" {= "20240715"}
   "ocaml-options-vanilla" {= "1"}
   "ocamlbuild" {= "0.16.1"}
   "ocamlfind" {= "1.9.8"}
-  "ocplib-endian" {= "1.2"}
   "ocplib-simplex" {= "0.5.1"}
+  "ounit2" {= "2.2.7" & with-test}
   "pp_loc" {= "2.1.0"}
   "ppx_blob" {= "0.9.0"}
   "ppx_derivers" {= "1.2.1"}
-  "ppx_deriving" {= "6.0.3"}
-  "ppxlib" {= "0.35.0"}
-  "sedlex" {= "3.4"}
+  "ppx_deriving" {= "6.1.0"}
+  "ppxlib" {= "0.36.0"}
+  "qcheck" {= "0.25" & with-test}
+  "qcheck-core" {= "0.25" & with-test}
+  "qcheck-ounit" {= "0.25" & with-test}
   "seq" {= "base"}
   "sexplib0" {= "v0.17.0"}
   "spelll" {= "0.4"}
   "stdlib-shims" {= "0.3.0"}
   "topkg" {= "1.0.8"}
   "uutf" {= "1.0.4"}
-  "yojson" {= "2.2.2"}
   "zarith" {= "1.14"}
 ]
 build: [

dune-project

@@ -65,7 +65,7 @@ See more details on http://alt-ergo.ocamlpro.com/"
   ppx_deriving
   (odoc :with-doc)
   ppx_deriving
-  (qcheck (and :with-test (= 0.22)))
+  (qcheck (and :with-test (= 0.25)))
  )
  (conflicts
   (ppxlib (< 0.30.0))