/gentoo-portage/sci-mathematics/acl2/
File Name ↓ | File Size ↓ | Date ↓ |
---|---|---|
Parent directory/ | - | - |
files/ | - | 2024-Apr-19 08:10 |
Manifest | 1826 | 2024-Mar-08 12:11 |
acl2-8.5-r2.ebuild | 2155 | 2024-Mar-07 18:11 |
acl2-8.5_p20240307.ebuild | 2674 | 2024-Mar-08 12:11 |
metadata.xml | 816 | 2023-Jan-08 00:40 |