commit: be49653d54c1c8799824bef4bc28e5a5bec75479
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Thu May 25 17:52:42 2023 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Thu May 25 17:52:42 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=be49653d
sci-mathematics/acl2: need to rebuild ACL2 "core" on sbcl update
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
sci-mathematics/acl2/{acl2-8.5.ebuild => acl2-8.5-r1.ebuild} | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/acl2/acl2-8.5.ebuild
b/sci-mathematics/acl2/acl2-8.5-r1.ebuild
similarity index 99%
rename from sci-mathematics/acl2/acl2-8.5.ebuild
rename to sci-mathematics/acl2/acl2-8.5-r1.ebuild
index c681f996e4fd..19e1ea1d83f7 100644
--- a/sci-mathematics/acl2/acl2-8.5.ebuild
+++ b/sci-mathematics/acl2/acl2-8.5-r1.ebuild
@@ -22,7 +22,7 @@ IUSE="doc emacs"
REQUIRED_USE="emacs? ( doc )"
RDEPEND="
- dev-lisp/sbcl
+ dev-lisp/sbcl:=
emacs? ( >=app-editors/emacs-25:* )
"
BDEPEND="
