mirrord

/debian/pool/main/c/coq-deriving
stats ← index
Debian
Debian / pool / main / c / coq-deriving
NameSizeModified
libcoq-deriving_0.1.0-2+b1_amd64.deb 413.2 KiB 2023-02-13 07:28:45
libcoq-deriving_0.2.1-1+b7_amd64.deb 482.2 KiB 2025-06-15 04:21:40
libcoq-deriving_0.2.3-3+b2_amd64.deb 480.2 KiB 2026-09-19 02:36:48
Info
Disk — Total: 1358.6 GiB · Used: 991.2 GiB · Free: 367.4 GiB · 73.0%
Statusrunning
Last Sync2026-10-15 21:37:43
Duration154.1s
Mirror Size564.6 GiB
Total Syncs348
Failures1
Downloads1211717
Served2919.2 GiB
Next sync: 5h 45m
mirrord 2f3c18b — loaded 2026-10-16 03:49:22