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+b2_amd64.deb 22.1 MiB 2026-09-19 01:36:19
libcoq-mathcomp-boot_2.6.0-3+b2_amd64.deb 5.8 MiB 2026-09-19 01:36:19
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+b2_amd64.deb 4.3 MiB 2026-09-19 01:36:19
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+b2_amd64.deb 2.4 MiB 2026-09-19 01:36:19
libcoq-mathcomp-group-representation_2.6.0-3+b2_amd64.deb 4.4 MiB 2026-09-19 01:36:19
libcoq-mathcomp-order_2.6.0-3+b2_amd64.deb 6.6 MiB 2026-09-19 01:36:19
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+b2_amd64.deb 4.8 MiB 2026-09-19 01:36:19
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+b2_amd64.deb 88.2 KiB 2026-09-19 01:36:19
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+b2_amd64.deb 89.9 KiB 2026-09-19 01:36:19
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: 1369.8 GiB · Used: 990.4 GiB · Free: 379.4 GiB · 72.3%
Statussuccess
Last Sync2026-10-15 16:18:09
Duration2580.3s
Mirror Size564.6 GiB
Total Syncs347
Failures1
Downloads1202120
Served2902.8 GiB
Next sync: 15m 13s
mirrord 2f3c18b — loaded 2026-10-15 21:19:55