Parent directory/ | - | - |
files/ | - | 2024-May-19 07:10 |
idris2-0.7.0.ebuild | 2.8 KiB | 2023-Dec-27 01:40 |
Manifest | 1.8 KiB | 2023-Dec-27 01:40 |
idris2-0.6.0.ebuild | 2.4 KiB | 2023-Feb-14 05:40 |
idris2-0.5.1_p20220224-r1.ebuild | 2.6 KiB | 2023-Feb-14 05:40 |
idris2-0.5.1_p20220920.ebuild | 2.6 KiB | 2023-Feb-14 05:40 |
idris2-0.5.1_p20211112-r1.ebuild | 2.5 KiB | 2022-May-05 12:40 |
idris2-0.5.1_p20220131-r1.ebuild | 2.5 KiB | 2022-May-05 12:40 |
idris2-0.5.1_p20220224.ebuild | 2.6 KiB | 2022-Feb-27 00:39 |
idris2-0.5.1_p20220131.ebuild | 2.5 KiB | 2022-Feb-01 04:09 |
metadata.xml | 1.2 KiB | 2022-Jan-25 19:10 |
idris2-0.5.1_p20211112.ebuild | 2.5 KiB | 2021-Nov-27 21:40 |