diff options
author | 2021-10-15 04:43:12 +0100 | |
---|---|---|
committer | 2021-10-15 04:43:12 +0100 | |
commit | 9e2d826b911664fa1944f8f943f44d758b5506b7 (patch) | |
tree | 4c2c9abdef81e26152bf9981ac074aa2ec7e0826 /dev-ml | |
parent | dev-ml/camlbz2: drop USE=doc (diff) | |
download | gentoo-9e2d826b911664fa1944f8f943f44d758b5506b7.tar.gz gentoo-9e2d826b911664fa1944f8f943f44d758b5506b7.tar.bz2 gentoo-9e2d826b911664fa1944f8f943f44d758b5506b7.zip |
dev-ml/base_quickcheck: tighten ppxlib dependencies
Closes: https://bugs.gentoo.org/801985
Signed-off-by: Sam James <sam@gentoo.org>
Diffstat (limited to 'dev-ml')
-rw-r--r-- | dev-ml/base_quickcheck/base_quickcheck-0.14.0-r1.ebuild (renamed from dev-ml/base_quickcheck/base_quickcheck-0.14.0.ebuild) | 1 | ||||
-rw-r--r-- | dev-ml/base_quickcheck/base_quickcheck-0.14.1-r1.ebuild (renamed from dev-ml/base_quickcheck/base_quickcheck-0.14.1.ebuild) | 2 |
2 files changed, 2 insertions, 1 deletions
diff --git a/dev-ml/base_quickcheck/base_quickcheck-0.14.0.ebuild b/dev-ml/base_quickcheck/base_quickcheck-0.14.0-r1.ebuild index da316d2b46e8..22f5dc4817f2 100644 --- a/dev-ml/base_quickcheck/base_quickcheck-0.14.0.ebuild +++ b/dev-ml/base_quickcheck/base_quickcheck-0.14.0-r1.ebuild @@ -23,6 +23,7 @@ DEPEND=" >=dev-ml/ppx_sexp_value-0.14.0:= dev-ml/splittable_random:= >=dev-ml/ppxlib-0.18.0:= + <dev-ml/ppxlib-0.22.0:= >=dev-ml/ocaml-migrate-parsetree-2.0.0:= dev-ml/cinaps:= " diff --git a/dev-ml/base_quickcheck/base_quickcheck-0.14.1.ebuild b/dev-ml/base_quickcheck/base_quickcheck-0.14.1-r1.ebuild index 3f8f641d04a3..7b0d4c531b9f 100644 --- a/dev-ml/base_quickcheck/base_quickcheck-0.14.1.ebuild +++ b/dev-ml/base_quickcheck/base_quickcheck-0.14.1-r1.ebuild @@ -22,7 +22,7 @@ DEPEND=" >=dev-ml/ppx_sexp_message-0.14.0:= >=dev-ml/ppx_sexp_value-0.14.0:= dev-ml/splittable_random:= - >=dev-ml/ppxlib-0.18.0:= + >=dev-ml/ppxlib-0.22.0:= >=dev-ml/ocaml-migrate-parsetree-2.0.0:= dev-ml/cinaps:= " |