Filename | Modification time | Size |
---|---|---|
Manifest | 1826 B | |
acl2-8.5-r2.ebuild | 2155 B | |
acl2-8.5_p20240307.ebuild | 2674 B | |
metadata.xml | 816 B |
Filename | Modification time | Size |
---|---|---|
Manifest | 1826 B | |
acl2-8.5-r2.ebuild | 2155 B | |
acl2-8.5_p20240307.ebuild | 2674 B | |
metadata.xml | 816 B |