Index of /distfiles/buildlogs/build-3-19-x86/community/idris2/

../
idris2-0.6.0-r3.log                                24-Oct-2023 15:36    233K