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


../
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.4.1-3_all.deb                        29-Nov-2018 04:03              117680
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.4.1-3_all.deb                  29-Nov-2018 04:03              155444
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.4.1-3_all.deb                  29-Nov-2018 04:03             3790832