![]() | Name | Last modified | Size | Description |
---|---|---|---|---|
![]() | Parent Directory | - | ||
![]() | Manifest | 2022-11-01 04:10 | 2.1K | |
![]() | idris2-0.5.1_p20220224-r1.ebuild | 2022-05-05 14:40 | 2.6K | |
![]() | idris2-0.5.1_p20220920.ebuild | 2022-09-21 03:40 | 2.6K | |
![]() | idris2-0.6.0.ebuild | 2022-11-01 04:10 | 2.4K | |
![]() | metadata.xml | 2022-01-25 20:10 | 1.2K | |