diff options
author | Alfredo Tupone <tupone@gentoo.org> | 2023-02-10 09:06:00 +0100 |
---|---|---|
committer | Alfredo Tupone <tupone@gentoo.org> | 2023-02-10 09:14:52 +0100 |
commit | 96f7e54467fba03eab3d05d7bb55584b0a4fad9e (patch) | |
tree | cba7a6f3e87e286b08c45c041dcfd2d973a469fd /dev-ml/base_quickcheck | |
parent | dev-ml/ppx_log: add ppxlib dep (diff) | |
download | gentoo-96f7e54467fba03eab3d05d7bb55584b0a4fad9e.tar.gz gentoo-96f7e54467fba03eab3d05d7bb55584b0a4fad9e.tar.bz2 gentoo-96f7e54467fba03eab3d05d7bb55584b0a4fad9e.zip |
dev-ml/base_quickcheck: add ppxlib dep
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-ml/base_quickcheck')
-rw-r--r-- | dev-ml/base_quickcheck/base_quickcheck-0.15.0-r2.ebuild (renamed from dev-ml/base_quickcheck/base_quickcheck-0.15.0-r1.ebuild) | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/dev-ml/base_quickcheck/base_quickcheck-0.15.0-r1.ebuild b/dev-ml/base_quickcheck/base_quickcheck-0.15.0-r2.ebuild index 6cae9208977e..decca67ab4ea 100644 --- a/dev-ml/base_quickcheck/base_quickcheck-0.15.0-r1.ebuild +++ b/dev-ml/base_quickcheck/base_quickcheck-0.15.0-r2.ebuild @@ -22,5 +22,6 @@ DEPEND=" dev-ml/ppx_let:${SLOT} dev-ml/ppx_sexp_value:${SLOT} dev-ml/splittable_random:${SLOT} + >=dev-ml/ppxlib-0.23.0:= " RDEPEND="${DEPEND}" |