Debian (HTTP)

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

Name	Size	Modified
libcoq-mtac2_1.4+8.20-1+b4_amd64.deb	775.6 KiB	2026-06-16 15:29:04

Info

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

Statussuccess

Last Sync2026-06-17 07:48:43

Duration546.1s

Mirror Size119.8 GiB

Total Syncs3

Failures0

Transferred

Downloads19809

Served22.2 GiB

Next sync: 5h 37m

mirrord