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: 1369.6 GiB · Used: 990.4 GiB · Free: 379.2 GiB · 72.3%
Statussuccess
Last Sync2026-10-15 16:18:09
Duration2580.3s
Mirror Size564.6 GiB
Total Syncs347
Failures1
Downloads1200113
Served2900.1 GiB
Next sync: 1h 34m
mirrord 2f3c18b — loaded 2026-10-15 20:00:48