Debian (HTTP)

Debian (HTTP) / pool / main / e / eprover

Name	Size	Modified
eprover_3.2.5+ds-1_amd64.deb	1021.5 KiB	2026-06-16 15:36:27

Info

Disk — Total: 2048.0 GiB · Used: 493.6 GiB · Free: 1554.4 GiB · 24.1%

Statussuccess

Last Sync2026-06-17 01:48:43

Duration545.8s

Mirror Size119.8 GiB

Total Syncs2

Failures0

Transferred

Downloads16740

Served19.7 GiB

Next sync: 4h 3m

mirrord