commit: d9e393ff9fb2c2b47da0607b6b0a07a96417a53a Author: Maciej Barć <xgqt <AT> gentoo <DOT> org> AuthorDate: Thu Mar 7 17:14:12 2024 +0000 Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org> CommitDate: Thu Mar 7 17:38:03 2024 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d9e393ff
sci-mathematics/acl2: restrict supported SBCL versions Closes: https://bugs.gentoo.org/926360 Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org> sci-mathematics/acl2/{acl2-8.5-r1.ebuild => acl2-8.5-r2.ebuild} | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/sci-mathematics/acl2/acl2-8.5-r1.ebuild b/sci-mathematics/acl2/acl2-8.5-r2.ebuild similarity index 97% rename from sci-mathematics/acl2/acl2-8.5-r1.ebuild rename to sci-mathematics/acl2/acl2-8.5-r2.ebuild index 19e1ea1d83f7..64fd6d8d1ad9 100644 --- a/sci-mathematics/acl2/acl2-8.5-r1.ebuild +++ b/sci-mathematics/acl2/acl2-8.5-r2.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2023 Gentoo Authors +# Copyright 1999-2024 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 @@ -15,14 +15,14 @@ HOMEPAGE="https://www.cs.utexas.edu/users/moore/acl2/ https://github.com/acl2/acl2/"; SRC_URI="https://github.com/acl2/acl2/archive/${PV}/${P}.tar.gz"; -SLOT="0" LICENSE="BSD" +SLOT="0" KEYWORDS="~amd64 ~x86" IUSE="doc emacs" REQUIRED_USE="emacs? ( doc )" RDEPEND=" - dev-lisp/sbcl:= + <=dev-lisp/sbcl-2.4.1:= emacs? ( >=app-editors/emacs-25:* ) " BDEPEND="
