Index of /old/debian/pool/main/a/agda/

../
agda-bin_2.4.0.2-2+b1_amd64.deb                    24-Aug-2017 09:20             3920024
agda-bin_2.4.0.2-2+b1_i386.deb                     24-Aug-2017 09:22             3769532
agda-mode_2.3.0.1-2_all.deb                        03-Apr-2019 01:40               46136
agda-mode_2.4.0.2-2_all.deb                        24-Aug-2017 09:49               88336
agda_2.3.0.1-2.debian.tar.gz                       03-Apr-2019 01:27                6874
agda_2.3.0.1-2.dsc                                 03-Apr-2019 01:27                2391
agda_2.3.0.1-2_all.deb                             03-Apr-2019 02:07               13200
agda_2.3.0.1.orig.tar.gz                           03-Apr-2019 01:27              612342
agda_2.4.0.2-2.debian.tar.xz                       03-Oct-2017 12:37                7344
agda_2.4.0.2-2.dsc                                 03-Oct-2017 12:37                3938
agda_2.4.0.2-2_all.deb                             24-Aug-2017 09:36               56362
agda_2.4.0.2.orig.tar.gz                           03-Oct-2017 12:37              910389
libghc-agda-dev_2.3.0.1-2+b1_amd64.deb             03-Apr-2019 01:20            13049408
libghc-agda-dev_2.3.0.1-2_i386.deb                 03-Apr-2019 02:18            12402232
libghc-agda-dev_2.4.0.2-2+b1_amd64.deb             24-Aug-2017 09:57             9793172
libghc-agda-dev_2.4.0.2-2+b1_i386.deb              24-Aug-2017 09:52             9676072
libghc-agda-doc_2.3.0.1-2_all.deb                  03-Apr-2019 02:13             1750812
libghc-agda-doc_2.4.0.2-2_all.deb                  24-Aug-2017 09:37             1959856