mirrord

/debian/pool/main/a/agda
stats ← index
Debian
Debian / pool / main / a / agda
NameSizeModified
agda-bin_2.6.1-1+b2_amd64.deb 8.5 MiB 2020-08-19 19:59:36
agda-bin_2.6.2.2-1.1_amd64.deb 7.4 MiB 2022-12-06 17:57:33
agda-bin_2.6.4.3-1+b2_amd64.deb 9.4 MiB 2025-02-01 22:54:53
agda-bin_2.8.0-2+b2_amd64.deb 9.8 MiB 2026-04-02 17:50:30
agda_2.6.1-1_all.deb 28.1 KiB 2020-07-29 16:40:53
agda_2.6.2.2-1.1_all.deb 12.0 KiB 2022-12-06 17:41:56
agda_2.6.4.3-1_all.deb 11.9 KiB 2024-10-08 11:23:12
agda_2.8.0-2_all.deb 17.0 KiB 2026-02-15 15:07:40
elpa-agda2-mode_2.6.1-1_all.deb 65.2 KiB 2020-07-29 16:40:53
elpa-agda2-mode_2.6.2.2-1.1_all.deb 49.8 KiB 2022-12-06 17:41:56
elpa-agda2-mode_2.6.4.3-1_all.deb 50.1 KiB 2024-10-08 11:23:12
elpa-agda2-mode_2.8.0-2_all.deb 56.3 KiB 2026-02-15 15:07:40
libghc-agda-dev_2.6.1-1+b2_amd64.deb 36.2 MiB 2020-08-19 19:59:36
libghc-agda-dev_2.6.2.2-1.1_amd64.deb 23.7 MiB 2022-12-06 17:57:33
libghc-agda-dev_2.6.4.3-1+b2_amd64.deb 21.8 MiB 2025-02-01 22:54:53
libghc-agda-dev_2.8.0-2+b2_amd64.deb 35.9 MiB 2026-04-02 17:50:30
libghc-agda-doc_2.6.1-1_all.deb 5.5 MiB 2020-07-29 16:40:53
libghc-agda-doc_2.6.2.2-1.1_all.deb 6.3 MiB 2022-12-06 17:41:56
libghc-agda-doc_2.6.4.3-1_all.deb 7.1 MiB 2024-10-08 11:23:12
libghc-agda-doc_2.8.0-2_all.deb 7.2 MiB 2026-02-15 15:07:40
Info
Disk — Total: 2048.0 GiB · Used: 1101.4 GiB · Free: 946.6 GiB · 53.8%
Statussuccess
Last Sync2026-08-18 10:40:46
Duration53.0s
Mirror Size692.0 GiB
Total Syncs131
Failures0
Downloads510005
Served850.5 GiB
Next sync: 3h 50m
mirrord 1d8151e — loaded 2026-08-18 12:49:47