../ Manifest 02-Feb-2023 18:10 2172 idris2-0.5.1_p20220224-r1.ebuild 02-Feb-2023 18:10 2688 idris2-0.5.1_p20220920.ebuild 02-Feb-2023 18:10 2688 idris2-0.6.0.ebuild 01-Nov-2022 03:10 2479 metadata.xml 25-Jan-2022 19:10 1255