Index of /pool/main/a/agda/

directories: 0, files: 32

NameLast modifiedSize
../
agda_2.3.0.1-2_all.deb2019-08-30 01:39:3212.89 KiB
agda_2.5.1.1-3.debian.tar.xz2019-08-29 03:36:168.81 KiB
agda_2.6.4.3.orig.tar.gz2025-08-29 11:15:301.78 MiB
libghc-agda-doc_2.5.1.1-3_all.deb2019-08-29 04:16:412.53 MiB
agda_2.6.1-1.debian.tar.xz2021-07-05 05:04:079.82 KiB
libghc-agda-dev_2.5.1.1-3+b3_amd64.deb2019-08-29 04:05:3712.25 MiB
libghc-agda-dev_2.6.4.3-1+b2_amd64.deb2025-08-29 12:23:4521.76 MiB
agda_2.6.1-1.dsc2021-07-05 05:04:074.09 KiB
libghc-agda-dev_2.6.1-1+b2_amd64.deb2021-07-05 04:55:3336.19 MiB
agda-bin_2.5.1.1-3+b3_amd64.deb2019-08-29 04:02:145.88 MiB
agda_2.3.0.1-2.dsc2019-08-30 01:13:132.33 KiB
agda_2.3.0.1-2.debian.tar.gz2019-08-30 01:13:136.71 KiB
agda_2.6.4.3-1_all.deb2025-08-29 12:58:0311.86 KiB
agda-mode_2.3.0.1-2_all.deb2019-08-30 01:48:1445.05 KiB
libghc-agda-dev_2.3.0.1-2+b1_amd64.deb2019-08-30 02:14:3412.44 MiB
agda-bin_2.6.1-1+b2_amd64.deb2021-07-05 05:09:548.50 MiB
libghc-agda-doc_2.6.4.3-1_all.deb2025-08-29 09:11:127.14 MiB
agda_2.5.1.1-3.dsc2019-08-29 03:36:164.11 KiB
agda_2.5.1.1.orig.tar.gz2019-08-29 03:36:181.12 MiB
agda_2.5.1.1-3_all.deb2019-08-29 04:14:1278.21 KiB
elpa-agda2-mode_2.6.1-1_all.deb2021-07-05 04:52:0865.25 KiB
elpa-agda2-mode_2.5.1.1-3_all.deb2019-08-29 04:11:50112.55 KiB
agda_2.6.1-1_all.deb2021-07-05 04:50:2828.06 KiB
elpa-agda2-mode_2.6.4.3-1_all.deb2025-08-29 09:48:0050.11 KiB
libghc-agda-doc_2.3.0.1-2_all.deb2019-08-30 02:01:241.67 MiB
agda_2.6.4.3-1.debian.tar.xz2025-08-29 11:15:3010.21 KiB
agda-mode_2.5.1.1-3_all.deb2019-08-29 03:41:2977.80 KiB
agda-bin_2.6.4.3-1+b2_amd64.deb2025-08-29 09:36:549.39 MiB
agda_2.3.0.1.orig.tar.gz2019-08-30 01:13:16597.99 KiB
libghc-agda-doc_2.6.1-1_all.deb2021-07-05 05:16:285.53 MiB
agda_2.6.4.3-1.dsc2025-08-29 11:15:305.08 KiB
agda_2.6.1.orig.tar.gz2021-07-05 05:04:072.52 MiB