/gentoo-portage/dev-lang/idris2/
File Name ↓ | File Size ↓ | Date ↓ |
---|---|---|
Parent directory/ | - | - |
metadata.xml | 1255 | 2022-Jan-25 19:10 |
idris2-0.6.0.ebuild | 2479 | 2022-Nov-01 03:10 |
idris2-0.5.1_p20220920.ebuild | 2688 | 2023-Feb-02 18:10 |
idris2-0.5.1_p20220224-r1.ebuild | 2688 | 2023-Feb-02 18:10 |
Manifest | 2172 | 2023-Feb-02 18:10 |