Index of /linux/debian/bullseye/pool/main/a/agda/

../
agda-bin_2.6.1-1+b2_amd64.deb                      16-Dec-2022 09:44             8910056
agda-bin_2.6.1-1+b2_arm64.deb                      16-Dec-2022 12:00            10374216
agda-bin_2.6.1-1+b2_i386.deb                       16-Dec-2022 10:32             8967940
agda_2.6.1-1_all.deb                               16-Dec-2022 10:42               28736
elpa-agda2-mode_2.6.1-1_all.deb                    16-Dec-2022 09:45               66816
libghc-agda-dev_2.6.1-1+b2_amd64.deb               16-Dec-2022 11:39            37948252
libghc-agda-dev_2.6.1-1+b2_arm64.deb               16-Dec-2022 09:51            44818592
libghc-agda-dev_2.6.1-1+b2_i386.deb                16-Dec-2022 10:02            38089964
libghc-agda-doc_2.6.1-1_all.deb                    16-Dec-2022 09:25             5799636