Index of /kali/pool/main/a/agda/
../
agda-bin_2.5.2-2+b1_amd64.deb 14-Jul-2017 14:28 5056190
agda-bin_2.5.2-2+b1_arm64.deb 14-Jul-2017 18:36 8127230
agda-bin_2.5.2-2+b1_i386.deb 14-Jul-2017 15:14 5093600
agda-bin_2.5.3-3+b1_amd64.deb 05-Nov-2017 03:55 5818604
agda-bin_2.5.3-3+b1_arm64.deb 05-Nov-2017 06:11 9233292
agda-bin_2.5.3-3+b1_i386.deb 05-Nov-2017 03:55 5821992
agda-bin_2.5.3-3+b2_amd64.deb 25-Nov-2017 04:59 5816024
agda-bin_2.5.3-3+b2_arm64.deb 25-Nov-2017 07:57 9226708
agda-bin_2.5.3-3+b2_i386.deb 25-Nov-2017 05:40 5822044
agda-bin_2.5.4.1-3+b1_amd64.deb 27-Dec-2018 00:04 5868440
agda-bin_2.5.4.1-3+b1_arm64.deb 27-Dec-2018 00:00 6780816
agda-bin_2.5.4.1-3+b1_i386.deb 27-Dec-2018 00:05 5946324
agda-bin_2.6.3-1+b1_arm64.deb 22-Oct-2023 21:29 10311032
agda-bin_2.6.3-1+b2_amd64.deb 30-Oct-2023 16:22 10253960
agda-bin_2.6.3-1_i386.deb 30-Oct-2023 17:12 15346188
agda-mode_2.5.4.1-3_all.deb 29-Nov-2018 12:00 117680
agda_2.5.4.1-3.debian.tar.xz 29-Nov-2018 12:00 9928
agda_2.5.4.1-3.dsc 29-Nov-2018 12:00 3870
agda_2.5.4.1-3_all.deb 29-Nov-2018 12:00 118104
agda_2.5.4.1.orig.tar.gz 29-Nov-2018 12:00 1989201
agda_2.6.3-1.debian.tar.xz 13-Oct-2023 15:34 11604
agda_2.6.3-1.dsc 13-Oct-2023 15:34 4944
agda_2.6.3-1_all.deb 13-Oct-2023 16:30 20128
agda_2.6.3.orig.tar.gz 13-Oct-2023 15:34 1794269
elpa-agda2-mode_2.5.4.1-3_all.deb 29-Nov-2018 12:00 155444
elpa-agda2-mode_2.6.3-1_all.deb 13-Oct-2023 16:30 59256
libghc-agda-dev_2.5.2-2+b1_amd64.deb 14-Jul-2017 14:28 13328920
libghc-agda-dev_2.5.2-2+b1_arm64.deb 14-Jul-2017 18:36 19839258
libghc-agda-dev_2.5.2-2+b1_i386.deb 14-Jul-2017 15:14 13212100
libghc-agda-dev_2.5.3-3+b1_amd64.deb 05-Nov-2017 03:55 15998028
libghc-agda-dev_2.5.3-3+b1_arm64.deb 05-Nov-2017 06:11 23942348
libghc-agda-dev_2.5.3-3+b1_i386.deb 05-Nov-2017 03:55 15703368
libghc-agda-dev_2.5.3-3+b2_amd64.deb 25-Nov-2017 04:59 15974848
libghc-agda-dev_2.5.3-3+b2_arm64.deb 25-Nov-2017 07:57 23940320
libghc-agda-dev_2.5.3-3+b2_i386.deb 25-Nov-2017 05:40 15689108
libghc-agda-dev_2.5.4.1-3+b1_amd64.deb 27-Dec-2018 00:05 17170668
libghc-agda-dev_2.5.4.1-3+b1_arm64.deb 27-Dec-2018 00:00 19737352
libghc-agda-dev_2.5.4.1-3+b1_i386.deb 27-Dec-2018 00:06 16797896
libghc-agda-dev_2.6.3-1+b1_arm64.deb 22-Oct-2023 21:29 25427740
libghc-agda-dev_2.6.3-1+b2_amd64.deb 30-Oct-2023 16:22 23650552
libghc-agda-dev_2.6.3-1_i386.deb 30-Oct-2023 17:12 39319820
libghc-agda-doc_2.5.4.1-3_all.deb 29-Nov-2018 12:00 3790832
libghc-agda-doc_2.6.3-1_all.deb 13-Oct-2023 16:30 6957572