Index of /raspbian.raspberrypi.org/raspbian/pool/main/a/agda/

../
agda_2.6.1-1_all.deb                               29-Jul-2020 16:40               28736
elpa-agda2-mode_2.6.1-1_all.deb                    29-Jul-2020 16:40               66816
libghc-agda-doc_2.6.1-1_all.deb                    29-Jul-2020 16:40             5799636