/gentoo-portage/dev-lang/idris2/
File Name ↓ | File Size ↓ | Date ↓ |
---|---|---|
Parent directory/ | - | - |
files/ | - | 2024-Apr-25 11:02 |
Manifest | 1844 | 2023-Dec-27 01:40 |
idris2-0.7.0.ebuild | 2828 | 2023-Dec-27 01:40 |
idris2-0.6.0.ebuild | 2479 | 2023-Feb-14 05:40 |
metadata.xml | 1255 | 2022-Jan-25 19:10 |