mirror of
https://github.com/gentoo-mirror/gentoo.git
synced 2026-11-07 18:07:08 -08: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>