From 268f9f01921ccb921b794d43092c5f29c1e96c56 Mon Sep 17 00:00:00 2001
From: V3n3RiX <venerix@koprulu.sector>
Date: Sun, 8 Jan 2023 06:15:27 +0000
Subject: gentoo auto-resync : 08:01:2023 - 06:15:27

---
 profiles/features/musl/package.mask | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'profiles/features')

diff --git a/profiles/features/musl/package.mask b/profiles/features/musl/package.mask
index 65874303fea3..44be81852b0c 100644
--- a/profiles/features/musl/package.mask
+++ b/profiles/features/musl/package.mask
@@ -1,6 +1,11 @@
 # Copyright 1999-2023 Gentoo Authors
 # Distributed under the terms of the GNU General Public License v2
 
+# Maciej Barć <xgqt@gentoo.org> (2023-01-07)
+# Currently ACL2 (sci-mathematics/acl2) unconditionally depends
+# on SBCL (dev-lisp/sbcl), which is masked on the musl profile.
+sci-mathematics/acl2
+
 # Sam James <sam@gentoo.org> (2023-01-02)
 # Uses error.h, bug #888956
 =sys-libs/liburing-2.3
-- 
cgit v1.2.3