summaryrefslogtreecommitdiff
path: root/profiles/arch/alpha/use.mask
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2023-02-15 20:02:26 +0000
committerV3n3RiX <venerix@koprulu.sector>2023-02-15 20:02:26 +0000
commit0da5c40f264673f79a9d8c95d465d1cab718d282 (patch)
treecf498476cd0085b71f73a02d2570c770c9023337 /profiles/arch/alpha/use.mask
parentdfa2037f41649c9775d690a3d01cfd5cabf4db71 (diff)
gentoo auto-resync : 15:02:2023 - 20:02:26
Diffstat (limited to 'profiles/arch/alpha/use.mask')
-rw-r--r--profiles/arch/alpha/use.mask4
1 files changed, 4 insertions, 0 deletions
diff --git a/profiles/arch/alpha/use.mask b/profiles/arch/alpha/use.mask
index f2978cfec584..d264e4d4e9aa 100644
--- a/profiles/arch/alpha/use.mask
+++ b/profiles/arch/alpha/use.mask
@@ -4,6 +4,10 @@
# Unmask the flag which corresponds to ARCH.
-alpha
+# Matt Turner <mattst88@gentoo.org> (2023-02-15)
+# dev-lang/ocaml is not keyworded here
+ocaml
+
# Matt Turner <mattst88@gentoo.org> (2022-02-21)
# app-crypt/tpm2-tss is not keyworded here
tpm