Index of /pureos/pool/main/a/agda/


../
agda-bin_2.5.3-5_amd64.deb                         03-Jul-2018 02:23             5849356
agda-bin_2.5.3-5_arm64.deb                         03-Jul-2018 02:23             6636020
agda-bin_2.5.4.1-3+b1_amd64.deb                    26-Dec-2018 16:17             5868440
agda-bin_2.5.4.1-3+b1_arm64.deb                    26-Dec-2018 16:18             6780816
agda-mode_2.5.3-5_all.deb                          03-Jul-2018 02:23              105908
agda-mode_2.5.4.1-3_all.deb                        29-Nov-2018 04:03              117680
agda_2.5.3-5.debian.tar.xz                         03-Jul-2018 01:56               10064
agda_2.5.3-5.dsc                                   03-Jul-2018 01:56                4661
agda_2.5.3-5_all.deb                               03-Jul-2018 02:23              106324
agda_2.5.3.orig.tar.gz                             22-Nov-2017 02:00             1201344
agda_2.5.4.1-3.debian.tar.xz                       29-Nov-2018 03:59                9928
agda_2.5.4.1-3.dsc                                 29-Nov-2018 03:59                3870
agda_2.5.4.1-3_all.deb                             29-Nov-2018 04:03              118104
agda_2.5.4.1.orig.tar.gz                           29-Nov-2018 03:59             1989201
elpa-agda2-mode_2.5.3-5_all.deb                    03-Jul-2018 02:23              143252
elpa-agda2-mode_2.5.4.1-3_all.deb                  29-Nov-2018 04:03              155444
libghc-agda-dev_2.5.3-5_amd64.deb                  03-Jul-2018 02:23            16208740
libghc-agda-dev_2.5.3-5_arm64.deb                  03-Jul-2018 02:23            18559624
libghc-agda-dev_2.5.4.1-3+b1_amd64.deb             26-Dec-2018 16:17            17170668
libghc-agda-dev_2.5.4.1-3+b1_arm64.deb             26-Dec-2018 16:18            19737352
libghc-agda-doc_2.5.3-5_all.deb                    03-Jul-2018 02:23             2760352
libghc-agda-doc_2.5.4.1-3_all.deb                  29-Nov-2018 04:03             3790832