diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2024-03-07 18:14:12 +0100 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2024-03-07 18:38:03 +0100 |
| commit | d9e393ff9fb2c2b47da0607b6b0a07a96417a53a (patch) | |
| tree | c73172e15277cb7ed368b5771267253675c2f348 /sci-mathematics | |
| parent | sci-mathematics/acl2: bump to 8.5_p20240307 (diff) | |
| download | gentoo-d9e393ff9fb2c2b47da0607b6b0a07a96417a53a.tar.gz gentoo-d9e393ff9fb2c2b47da0607b6b0a07a96417a53a.tar.bz2 gentoo-d9e393ff9fb2c2b47da0607b6b0a07a96417a53a.zip | |
sci-mathematics/acl2: restrict supported SBCL versions
Closes: https://bugs.gentoo.org/926360
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/acl2/acl2-8.5-r2.ebuild (renamed from sci-mathematics/acl2/acl2-8.5-r1.ebuild) | 6 |
1 files 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 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=" |