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

../
agda-bin_2.5.4.1-3+b1_amd64.deb                    20-Aug-2026 10:41      6M
agda-bin_2.5.4.1-3+b1_i386.deb                     20-Aug-2026 10:41      6M
agda-mode_2.5.4.1-3_all.deb                        20-Aug-2026 10:41    115K
agda_2.5.4.1-3.debian.tar.xz                       20-Aug-2026 10:41    9928
agda_2.5.4.1-3.dsc                                 20-Aug-2026 10:41    3870
agda_2.5.4.1-3_all.deb                             20-Aug-2026 10:41    115K
agda_2.5.4.1.orig.tar.gz                           20-Aug-2026 10:41      2M
elpa-agda2-mode_2.5.4.1-3_all.deb                  20-Aug-2026 12:01    152K
libghc-agda-dev_2.5.4.1-3+b1_amd64.deb             20-Aug-2026 15:13     16M
libghc-agda-dev_2.5.4.1-3+b1_i386.deb              20-Aug-2026 15:13     16M
libghc-agda-doc_2.5.4.1-3_all.deb                  20-Aug-2026 15:13      4M