diff options
author | Alfredo Tupone <tupone@gentoo.org> | 2024-06-11 06:38:04 +0200 |
---|---|---|
committer | Alfredo Tupone <tupone@gentoo.org> | 2024-06-11 06:38:31 +0200 |
commit | 275f603a5bec9771c21220c8cc9d41adadf99e2d (patch) | |
tree | 92d829135a3702ff566a0f9419a62ecc9a8f1d40 /profiles/package.mask | |
parent | dev-python/oslotest: Enable py3.13 (diff) | |
download | gentoo-275f603a5bec9771c21220c8cc9d41adadf99e2d.tar.gz gentoo-275f603a5bec9771c21220c8cc9d41adadf99e2d.tar.bz2 gentoo-275f603a5bec9771c21220c8cc9d41adadf99e2d.zip |
dev-ml/ppx_cold: add 0.17.0
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'profiles/package.mask')
-rw-r--r-- | profiles/package.mask | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/profiles/package.mask b/profiles/package.mask index 40a8f118f14c..b502d8f42bcd 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -179,6 +179,7 @@ dev-ml/fieldslib:0/0.17 dev-ml/stdio:0/0.17 >=dev-ml/ocaml-compiler-libs-0.17 >=dev-ml/ppxlib-0.32.1 +dev-ml/ppx_cold:0/0.17 # Arthur Zamarin <arthurzam@gentoo.org> (2024-06-08) # EAPI=6, waiting for a version bump, not maintained for many years. |