Index of /repos/scibian9/pool/main/a/agda/

../
agda-bin_2.5.1.1-3+b3_amd64.deb                    20-Dec-2022 15:19      6M
agda-mode_2.5.1.1-3_all.deb                        20-Dec-2022 15:19     78K
agda_2.5.1.1-3_all.deb                             20-Dec-2022 15:19     78K
elpa-agda2-mode_2.5.1.1-3_all.deb                  20-Dec-2022 15:19    113K
libghc-agda-dev_2.5.1.1-3+b3_amd64.deb             20-Dec-2022 15:19     12M
libghc-agda-doc_2.5.1.1-3_all.deb                  20-Dec-2022 15:19      3M