summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlfredo Tupone <tupone@gentoo.org>2024-06-11 06:38:04 +0200
committerAlfredo Tupone <tupone@gentoo.org>2024-06-11 06:38:31 +0200
commit275f603a5bec9771c21220c8cc9d41adadf99e2d (patch)
tree92d829135a3702ff566a0f9419a62ecc9a8f1d40 /profiles/package.mask
parentdev-python/oslotest: Enable py3.13 (diff)
downloadgentoo-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.mask1
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.