![]() | Name | Last modified | Size | Description |
---|---|---|---|---|
![]() | Parent Directory | - | ||
![]() | Manifest | 2022-05-05 21:40 | 2.1K | |
![]() | idris2-0.5.1_p20211112-r1.ebuild | 2022-05-05 21:40 | 2.5K | |
![]() | idris2-0.5.1_p20220131-r1.ebuild | 2022-05-05 21:40 | 2.5K | |
![]() | idris2-0.5.1_p20220224-r1.ebuild | 2022-05-05 21:40 | 2.6K | |
![]() | metadata.xml | 2022-01-26 04:10 | 1.2K | |