Index of /debian/pool/main/a/agda/
../
agda-bin_2.5.1.1-3+b3_amd64.deb 08-Jan-2023 17:53 6169260
agda-bin_2.5.1.1-3+b3_i386.deb 08-Jan-2023 17:47 6301232
agda-bin_2.5.4.1-3+b1_amd64.deb 08-Jan-2023 14:05 5868440
agda-bin_2.5.4.1-3+b1_i386.deb 08-Jan-2023 13:45 5946324
agda-bin_2.6.1-1+b2_amd64.deb 08-Jan-2023 11:37 8910056
agda-bin_2.6.1-1+b2_i386.deb 08-Jan-2023 12:15 8967940
agda-bin_2.6.2.2-1.1_amd64.deb 01-Aug-2023 12:47 7751992
agda-mode_2.5.1.1-3_all.deb 08-Jan-2023 18:14 79668
agda-mode_2.5.4.1-3_all.deb 08-Jan-2023 13:49 117680
agda_2.5.1.1-3_all.deb 08-Jan-2023 17:36 80092
agda_2.5.4.1-3_all.deb 08-Jan-2023 14:18 118104
agda_2.6.1-1_all.deb 08-Jan-2023 12:27 28736
agda_2.6.2.2-1.1_all.deb 01-Aug-2023 12:30 12304
elpa-agda2-mode_2.5.1.1-3_all.deb 08-Jan-2023 17:49 115256
elpa-agda2-mode_2.5.4.1-3_all.deb 08-Jan-2023 14:22 155444
elpa-agda2-mode_2.6.1-1_all.deb 08-Jan-2023 12:33 66816
elpa-agda2-mode_2.6.2.2-1.1_all.deb 01-Aug-2023 12:22 50944
libghc-agda-dev_2.5.1.1-3+b3_amd64.deb 08-Jan-2023 17:46 12846156
libghc-agda-dev_2.5.1.1-3+b3_i386.deb 08-Jan-2023 17:57 14325888
libghc-agda-dev_2.5.4.1-3+b1_amd64.deb 08-Jan-2023 14:08 17170668
libghc-agda-dev_2.5.4.1-3+b1_i386.deb 08-Jan-2023 14:28 16797896
libghc-agda-dev_2.6.1-1+b2_amd64.deb 08-Jan-2023 11:34 37948252
libghc-agda-dev_2.6.1-1+b2_i386.deb 08-Jan-2023 11:21 38089964
libghc-agda-dev_2.6.2.2-1.1_amd64.deb 01-Aug-2023 13:02 24853036
libghc-agda-doc_2.5.1.1-3_all.deb 08-Jan-2023 17:54 2649336
libghc-agda-doc_2.5.4.1-3_all.deb 08-Jan-2023 13:20 3790832
libghc-agda-doc_2.6.1-1_all.deb 08-Jan-2023 12:30 5799636
libghc-agda-doc_2.6.2.2-1.1_all.deb 01-Aug-2023 12:39 6599972