Index of /stable/debian-7-official-release/pool/main/a/agda/

../
agda-mode_2.3.0.1-2_all.deb                        24-Sep-2019 08:03               46136
agda_2.3.0.1-2_all.deb                             24-Sep-2019 07:51               13200
libghc-agda-dev_2.3.0.1-2+b1_amd64.deb             24-Sep-2019 07:49            13049408
libghc-agda-dev_2.3.0.1-2_i386.deb                 21-Jan-2020 15:24            12402232
libghc-agda-doc_2.3.0.1-2_all.deb                  24-Sep-2019 07:59             1750812