Folder Path
/
gentoo
/
sci-mathematics
/
acl2
/
1
directory
3
files
4.5 KiB
total
List
Grid
Name
Size
Modified
Up
files/
—
4/13/2025, 2:41:35 PM
acl2-8.5_p20240307-r1.ebuild
2.5 KiB
3/1/2025, 3:08:50 PM
Manifest
1.2 KiB
3/1/2025, 3:08:50 PM
metadata.xml
816 B
1/8/2023, 12:40:16 AM