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_amd64.deb 480.0 KiB 2026-08-12 07:16:37
Info
Disk — Total: 2048.0 GiB · Used: 1103.4 GiB · Free: 944.6 GiB · 53.9%
Statussuccess
Last Sync2026-08-16 22:44:27
Duration274.8s
Mirror Size694.2 GiB
Total Syncs125
Failures0
Downloads489712
Served838.3 GiB
Next sync: 4h 9m
mirrord 1d8151e — loaded 2026-08-17 00:30:32