Index of /tmax/pool/main/a/agda/
../
agda-bin_2.6.1-1+b2_amd64.deb 01-Jun-2021 09:15 8910056
agda-bin_2.6.1-1+b2_arm64.deb 01-Jun-2021 10:45 10374216
agda-bin_2.6.1-1+b2_i386.deb 01-Jun-2021 12:51 8967940
agda_2.6.1-1_all.deb 01-Jun-2021 12:06 28736
elpa-agda2-mode_2.6.1-1_all.deb 01-Jun-2021 11:30 66816
libghc-agda-dev_2.6.1-1+b2_amd64.deb 01-Jun-2021 09:58 37948252
libghc-agda-dev_2.6.1-1+b2_arm64.deb 01-Jun-2021 09:58 44818592
libghc-agda-dev_2.6.1-1+b2_i386.deb 01-Jun-2021 13:32 38089964
libghc-agda-doc_2.6.1-1_all.deb 01-Jun-2021 09:33 5799636