mirrord

/debian/pool/main/c/coq-bignums

Debian (HTTP)

Debian (HTTP) / pool / main / c / coq-bignums

Name	Size	Modified
libcoq-bignums_9.0.0+coq8.20-1+b9_amd64.deb	1.8 MiB	2026-06-16 15:29:00

Info

Disk — Total: 2048.0 GiB · Used: 493.9 GiB · Free: 1554.1 GiB · 24.1%

Statussuccess

Last Sync2026-06-19 07:48:42

Duration545.3s

Mirror Size119.8 GiB

Total Syncs11

Failures0

Transferred

Downloads65204

Served132.9 GiB

Next sync: 4h 13m