mirrord

/debian/pool/main/s/ssreflect
stats ← index
Debian
Debian / pool / main / s / ssreflect
NameSizeModified
libcoq-mathcomp-algebra_1.15.0-1+b4_amd64.deb 6.2 MiB 2023-02-13 09:55:04
libcoq-mathcomp-algebra_2.3.0-1+b7_amd64.deb 11.5 MiB 2025-06-15 04:01:29
libcoq-mathcomp-algebra_2.6.0-3_amd64.deb 22.1 MiB 2026-08-11 23:17:57
libcoq-mathcomp-boot_2.6.0-3_amd64.deb 5.8 MiB 2026-08-11 23:17:57
libcoq-mathcomp-character_1.15.0-1+b4_amd64.deb 3.8 MiB 2023-02-13 09:55:04
libcoq-mathcomp-character_2.3.0-1+b7_amd64.deb 4.1 MiB 2025-06-15 04:01:29
libcoq-mathcomp-field_1.15.0-1+b4_amd64.deb 2.6 MiB 2023-02-13 09:55:04
libcoq-mathcomp-field_2.3.0-1+b7_amd64.deb 3.2 MiB 2025-06-15 04:01:29
libcoq-mathcomp-field_2.6.0-3_amd64.deb 4.3 MiB 2026-08-11 23:17:57
libcoq-mathcomp-fingroup_1.15.0-1+b4_amd64.deb 1.8 MiB 2023-02-13 09:55:04
libcoq-mathcomp-fingroup_2.3.0-1+b7_amd64.deb 2.2 MiB 2025-06-15 04:01:29
libcoq-mathcomp-finite-group_2.6.0-3_amd64.deb 2.4 MiB 2026-08-11 23:17:57
libcoq-mathcomp-group-representation_2.6.0-3_amd64.deb 4.4 MiB 2026-08-11 23:17:57
libcoq-mathcomp-order_2.6.0-3_amd64.deb 6.6 MiB 2026-08-11 23:17:57
libcoq-mathcomp-solvable_1.15.0-1+b4_amd64.deb 4.3 MiB 2023-02-13 09:55:04
libcoq-mathcomp-solvable_2.3.0-1+b7_amd64.deb 4.6 MiB 2025-06-15 04:01:29
libcoq-mathcomp-solvable_2.6.0-3_amd64.deb 4.8 MiB 2026-08-11 23:17:57
libcoq-mathcomp-ssreflect_1.15.0-1+b4_amd64.deb 4.0 MiB 2023-02-13 09:55:04
libcoq-mathcomp-ssreflect_2.3.0-1+b7_amd64.deb 7.9 MiB 2025-06-15 04:01:29
libcoq-mathcomp-ssreflect_2.6.0-3_amd64.deb 87.9 KiB 2026-08-11 23:17:57
libcoq-mathcomp_1.15.0-1+b4_amd64.deb 3.0 MiB 2023-02-13 09:55:04
libcoq-mathcomp_2.3.0-1+b7_amd64.deb 2.9 MiB 2025-06-15 04:01:29
libcoq-mathcomp_2.6.0-3_amd64.deb 89.6 KiB 2026-08-11 23:17:57
libssreflect-coq_1.12.0-1_all.deb 25.2 MiB 2021-01-11 12:56:54
mathcomp-doc_2.6.0-3_all.deb 7.1 MiB 2026-08-11 23:18:00
Info
Disk — Total: 2048.0 GiB · Used: 1102.1 GiB · Free: 945.9 GiB · 53.8%
Statussuccess
Last Sync2026-08-16 16:43:23
Duration210.6s
Mirror Size689.8 GiB
Total Syncs124
Failures0
Downloads488240
Served837.6 GiB
Next sync: 29m 29s
mirrord 1d8151e — loaded 2026-08-16 22:10:23