mirrors.tnonline.net
Folder Path
/
gentoo
/
gentoo-portage
/
sci-mathematics
/
acl2
/
1
directory
4
files
List
Grid
Name
Size
Modified
Up
files/
—
11/23/2024 11:11:10 AM +00:00
acl2-8.5-r2.ebuild
2.1 KiB
03/07/2024 06:11:16 PM +00:00
acl2-8.5_p20240307.ebuild
2.6 KiB
03/08/2024 12:11:21 PM +00:00
Manifest
1.8 KiB
03/08/2024 12:11:21 PM +00:00
metadata.xml
816 B
01/08/2023 12:40:16 AM +00:00