mirrord
/debian/pool/main/c/coq-ext-lib
stats
← index
Debian
Debian
/
pool
/
main
/
c
/
coq-ext-lib
Name
Size
Modified
libcoq-ext-lib_0.11.7-2+b1_amd64.deb
740.5 KiB
2023-02-13 05:11:32
libcoq-ext-lib_0.13.0-1+b4_amd64.deb
744.9 KiB
2025-06-15 10:49:50
libcoq-ext-lib_0.13.1-2+b2_amd64.deb
754.3 KiB
2026-08-25 23:08:47
Info
Disk — Total:
1369.6
GiB · Used:
990.4
GiB · Free:
379.1
GiB ·
72.3
%
Status
success
Last Sync
2026-10-15 16:18:09
Duration
2580.3s
Mirror Size
564.6 GiB
Total Syncs
347
Failures
1
Transferred
Downloads
1200116
Served
2900.1 GiB
Next sync:
1h 27m
mirrord 2f3c18b — loaded
2026-10-15 20:07:22