Index of /pardus/pool/main/a/agda/
../
agda-bin_2.5.1.1-3+b3_amd64.deb 25-Aug-2021 03:47 6M
agda-bin_2.5.1.1-3+b3_i386.deb 25-Aug-2021 03:09 6M
agda-bin_2.5.4.1-3+b1_amd64.deb 24-Aug-2021 22:28 6M
agda-bin_2.5.4.1-3+b1_arm64.deb 25-Aug-2021 00:52 6M
agda-bin_2.5.4.1-3+b1_i386.deb 25-Aug-2021 01:08 6M
agda-bin_2.6.1-1+b2_amd64.deb 24-Aug-2021 19:45 8M
agda-bin_2.6.1-1+b2_arm64.deb 24-Aug-2021 21:22 10M
agda-bin_2.6.1-1+b2_i386.deb 24-Aug-2021 21:30 9M
agda-bin_2.6.2.2-1.1_amd64.deb 28-Apr-2023 18:24 7M
agda-bin_2.6.4.3-1+b2_amd64.deb 13-Aug-2025 01:07 9M
agda-bin_2.6.4.3-1+b2_arm64.deb 12-Aug-2025 23:49 9M
agda-bin_2.6.4.3-1+b2_i386.deb 13-Aug-2025 03:01 14M
agda-mode_2.5.1.1-3_all.deb 25-Aug-2021 03:40 78K
agda-mode_2.5.4.1-3_all.deb 25-Aug-2021 02:10 115K
agda_2.5.1.1-3.debian.tar.xz 25-Aug-2021 03:23 9020
agda_2.5.1.1-3.dsc 25-Aug-2021 03:23 4210
agda_2.5.1.1-3_all.deb 25-Aug-2021 03:55 78K
agda_2.5.1.1.orig.tar.gz 25-Aug-2021 03:23 1M
agda_2.5.4.1-3.debian.tar.xz 25-Aug-2021 01:09 9928
agda_2.5.4.1-3.dsc 25-Aug-2021 01:09 3870
agda_2.5.4.1-3_all.deb 24-Aug-2021 23:12 115K
agda_2.5.4.1.orig.tar.gz 25-Aug-2021 01:09 2M
agda_2.6.1-1.debian.tar.xz 24-Aug-2021 19:19 10K
agda_2.6.1-1.dsc 24-Aug-2021 19:19 4186
agda_2.6.1-1_all.deb 24-Aug-2021 19:20 28K
agda_2.6.1.orig.tar.gz 24-Aug-2021 19:19 3M
agda_2.6.2.2-1.1.debian.tar.xz 28-Apr-2023 19:08 10K
agda_2.6.2.2-1.1.dsc 28-Apr-2023 19:08 4426
agda_2.6.2.2-1.1_all.deb 28-Apr-2023 17:51 12K
agda_2.6.2.2.orig.tar.gz 28-Apr-2023 19:08 2M
agda_2.6.4.3-1.debian.tar.xz 13-Aug-2025 00:20 10K
agda_2.6.4.3-1.dsc 13-Aug-2025 00:20 5197
agda_2.6.4.3-1_all.deb 13-Aug-2025 00:06 12K
agda_2.6.4.3.orig.tar.gz 13-Aug-2025 00:20 2M
elpa-agda2-mode_2.5.1.1-3_all.deb 25-Aug-2021 03:35 113K
elpa-agda2-mode_2.5.4.1-3_all.deb 25-Aug-2021 01:22 152K
elpa-agda2-mode_2.6.1-1_all.deb 24-Aug-2021 21:35 65K
elpa-agda2-mode_2.6.2.2-1.1_all.deb 28-Apr-2023 19:01 50K
elpa-agda2-mode_2.6.4.3-1_all.deb 13-Aug-2025 05:27 50K
libghc-agda-dev_2.5.1.1-3+b3_amd64.deb 25-Aug-2021 04:31 12M
libghc-agda-dev_2.5.1.1-3+b3_i386.deb 25-Aug-2021 03:33 14M
libghc-agda-dev_2.5.4.1-3+b1_amd64.deb 24-Aug-2021 22:39 16M
libghc-agda-dev_2.5.4.1-3+b1_arm64.deb 24-Aug-2021 23:14 19M
libghc-agda-dev_2.5.4.1-3+b1_i386.deb 24-Aug-2021 23:12 16M
libghc-agda-dev_2.6.1-1+b2_amd64.deb 24-Aug-2021 19:32 36M
libghc-agda-dev_2.6.1-1+b2_arm64.deb 24-Aug-2021 21:36 43M
libghc-agda-dev_2.6.1-1+b2_i386.deb 24-Aug-2021 16:37 36M
libghc-agda-dev_2.6.2.2-1.1_amd64.deb 28-Apr-2023 18:22 24M
libghc-agda-dev_2.6.4.3-1+b2_amd64.deb 13-Aug-2025 02:29 22M
libghc-agda-dev_2.6.4.3-1+b2_arm64.deb 13-Aug-2025 01:19 23M
libghc-agda-dev_2.6.4.3-1+b2_i386.deb 13-Aug-2025 00:19 36M
libghc-agda-doc_2.5.1.1-3_all.deb 25-Aug-2021 03:34 3M
libghc-agda-doc_2.5.4.1-3_all.deb 25-Aug-2021 01:48 4M
libghc-agda-doc_2.6.1-1_all.deb 24-Aug-2021 17:38 6M
libghc-agda-doc_2.6.2.2-1.1_all.deb 28-Apr-2023 19:01 6M
libghc-agda-doc_2.6.4.3-1_all.deb 13-Aug-2025 02:50 7M