summaryrefslogtreecommitdiff
path: root/profiles/package.mask
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2025-03-12 01:49:51 +0000
committerV3n3RiX <venerix@koprulu.sector>2025-03-12 01:49:51 +0000
commitef0fedb39c21a343a3f316726f272bad9005b22c (patch)
tree0d64e58453e117f61a9e1641532926278f51b72e /profiles/package.mask
parentcf7807d7aea23a99a144afceaba961cfed652b5f (diff)
gentoo auto-resync : 12:03:2025 - 01:49:51HEADmaster
Diffstat (limited to 'profiles/package.mask')
-rw-r--r--profiles/package.mask1
1 files changed, 0 insertions, 1 deletions
diff --git a/profiles/package.mask b/profiles/package.mask
index b4309f537250..3f052bfe86dd 100644
--- a/profiles/package.mask
+++ b/profiles/package.mask
@@ -463,7 +463,6 @@ app-emulation/virtualbox-kvm
# Alfredo Tupone <tupone@gentoo.org> (2024-06-09)
# Not ready for testing
->=dev-lang/ocaml-5
dev-ml/sexplib0:0/0.17
dev-ml/ocaml_intrinsics:0/0.17
dev-ml/ocaml_intrinsics_kernel:0/0.17