/gentoo-portage/dev-lang/idris2/
File Name ↓ | File Size ↓ | Date ↓ |
---|---|---|
Parent directory/ | - | - |
metadata.xml | 1255 | 2022-Jan-25 19:10 |
Manifest | 2198 | 2022-May-05 12:40 |
idris2-0.5.1_p20211112-r1.ebuild | 2517 | 2022-May-05 12:40 |
idris2-0.5.1_p20220131-r1.ebuild | 2540 | 2022-May-05 12:40 |
idris2-0.5.1_p20220224-r1.ebuild | 2643 | 2022-May-05 12:40 |