Index of /deepin/pool/main/a/agda/


../
agda-bin_2.5.1.1-3+b3_amd64.deb                    11-Nov-2016 01:40      6M
agda-bin_2.5.1.1-3+b3_arm64.deb                    11-Nov-2016 02:10     11M
agda-bin_2.5.1.1-3+b3_i386.deb                     11-Nov-2016 01:00      6M
agda-bin_2.5.1.1-3_mips64el.deb                    20-Nov-2016 08:28      9M
agda-bin_2.5.3-5_amd64.deb                         29-Apr-2018 21:32      6M
agda-bin_2.5.3-5_i386.deb                          29-Apr-2018 21:57      6M
agda-mode_2.5.1.1-3_all.deb                        29-Oct-2016 08:56     78K
agda-mode_2.5.3-5_all.deb                          29-Apr-2018 21:52    103K
agda_2.5.1.1-3.debian.tar.xz                       28-Oct-2016 08:24    9020
agda_2.5.1.1-3.dsc                                 28-Oct-2016 08:24    4210
agda_2.5.1.1-3_all.deb                             29-Oct-2016 08:56     78K
agda_2.5.1.1.orig.tar.gz                           17-Oct-2016 04:43      1M
agda_2.5.3-5.debian.tar.xz                         29-Apr-2018 20:52     10K
agda_2.5.3-5.dsc                                   29-Apr-2018 20:52    4661
agda_2.5.3-5_all.deb                               29-Apr-2018 21:52    104K
agda_2.5.3.orig.tar.gz                             13-Oct-2017 23:59      1M
elpa-agda2-mode_2.5.1.1-3_all.deb                  29-Oct-2016 08:56    113K
elpa-agda2-mode_2.5.3-5_all.deb                    29-Apr-2018 21:52    140K
libghc-agda-dev_2.5.1.1-3+b3_amd64.deb             11-Nov-2016 01:40     12M
libghc-agda-dev_2.5.1.1-3+b3_arm64.deb             11-Nov-2016 02:10     19M
libghc-agda-dev_2.5.1.1-3+b3_i386.deb              11-Nov-2016 01:00     14M
libghc-agda-dev_2.5.1.1-3_mips64el.deb             20-Nov-2016 08:28     18M
libghc-agda-dev_2.5.3-5_amd64.deb                  29-Apr-2018 21:32     15M
libghc-agda-dev_2.5.3-5_i386.deb                   29-Apr-2018 21:57     15M
libghc-agda-doc_2.5.1.1-3_all.deb                  29-Oct-2016 08:56      3M
libghc-agda-doc_2.5.3-5_all.deb                    29-Apr-2018 21:52      3M