Index of /macports-distfiles/idris2/

../
Idris2-0.7.0.tar.gz                                22-Jun-2024 14:39             6987849
Idris2-0.8.0.tar.gz                                26-Jan-2026 12:41             6995063