Index of mirrors/gentoo-portage/sci-mathematics/acl2
Name ▴ Size Last Modified
../ - -
files/ - 2026-04-25 07:38
acl2-8.5_p20240307-r1.ebuild 2.5 KB 2025-03-01 15:08
acl2-8.6.ebuild 2.5 KB 2025-07-02 01:11
Manifest 1.8 KB 2025-07-02 01:11
metadata.xml 816 B 2023-01-08 00:40
5 items, 7.6 KB total