commit: 6377286dc26b7219dd66bbea37321ac885509a2e Author: Maciej Barć <xgqt <AT> gentoo <DOT> org> AuthorDate: Sat Mar 1 12:53:31 2025 +0000 Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org> CommitDate: Sat Mar 1 13:16:47 2025 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=6377286d
sci-mathematics/acl2: remove sbcl pin Closes: https://bugs.gentoo.org/943183 Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org> .../acl2/{acl2-8.5_p20240307.ebuild => acl2-8.5_p20240307-r1.ebuild} | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/sci-mathematics/acl2/acl2-8.5_p20240307.ebuild b/sci-mathematics/acl2/acl2-8.5_p20240307-r1.ebuild similarity index 94% rename from sci-mathematics/acl2/acl2-8.5_p20240307.ebuild rename to sci-mathematics/acl2/acl2-8.5_p20240307-r1.ebuild index 1e9c0d6d06d5..438948ce246c 100644 --- a/sci-mathematics/acl2/acl2-8.5_p20240307.ebuild +++ b/sci-mathematics/acl2/acl2-8.5_p20240307-r1.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2024 Gentoo Authors +# Copyright 1999-2025 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 # NOTICE: Only SBCL (dev-lisp/sbcl) is tested for now, but probably @@ -32,9 +32,8 @@ SLOT="0" IUSE="doc emacs" REQUIRED_USE="emacs? ( doc )" -# SBCL <= 2.4.1 is required, see: https://github.com/acl2/acl2/issues/1580 RDEPEND=" - <=dev-lisp/sbcl-2.4.1:= + dev-lisp/sbcl:= emacs? ( >=app-editors/emacs-25:* ) " BDEPEND="
