mirror of
https://github.com/gentoo-mirror/gentoo.git
synced 2026-09-24 17:09:10 -07:00
This reverts commit d8200d5a03.
sci-mathematics/acl2 needs an older version, revert to fix CI for now.
Bug: https://bugs.gentoo.org/926360
Bug: https://bugs.gentoo.org/943183
Signed-off-by: Sam James <sam@gentoo.org>