mirrord

/debian/pool/main/c/coq
stats ← index
Debian
Debian / pool / main / c / coq
NameSizeModified
coq-theories_8.12.0-3+b3_amd64.deb 34.8 MiB 2020-11-25 07:28:14
coq_8.12.0-3+b3_amd64.deb 86.3 MiB 2020-11-25 07:28:15
coq_8.16.1+dfsg-1+b2_amd64.deb 88.9 MiB 2023-02-13 01:14:24
coq_8.20.1+dfsg-1+b1_amd64.deb 67.0 MiB 2025-06-15 01:07:23
coq_9.2.0+dfsg-4_amd64.deb 39.4 MiB 2026-08-25 12:22:13
coqide_8.12.0-3+b3_amd64.deb 1.8 MiB 2020-11-25 07:28:15
coqide_8.16.1+dfsg-1+b2_amd64.deb 1.9 MiB 2023-02-13 01:14:24
coqide_8.20.1+dfsg-1+b1_amd64.deb 1.8 MiB 2025-06-15 01:07:23
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_amd64.deb 40.7 MiB 2023-02-13 01:14:24
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_amd64.deb 65.5 MiB 2025-06-15 01:07:24
libcoq-core-ocaml-dev_9.2.0+dfsg-4_amd64.deb 53.1 MiB 2026-08-25 12:22:13
libcoq-core-ocaml_8.16.1+dfsg-1+b2_amd64.deb 21.5 MiB 2023-02-13 01:14:24
libcoq-core-ocaml_8.20.1+dfsg-1+b1_amd64.deb 24.8 MiB 2025-06-15 01:07:24
libcoq-core-ocaml_9.2.0+dfsg-4_amd64.deb 24.6 MiB 2026-08-25 12:22:13
libcoq-core_9.2.0+dfsg-4_amd64.deb 1.1 MiB 2026-08-25 12:22:13
libcoq-ocaml-dev_8.12.0-3+b3_amd64.deb 17.9 MiB 2020-11-25 07:28:15
libcoq-ocaml_8.12.0-3+b3_amd64.deb 7.4 MiB 2020-11-25 07:28:15
libcoq-stdlib_8.16.1+dfsg-1+b2_amd64.deb 20.5 MiB 2023-02-13 01:14:24
libcoq-stdlib_8.20.1+dfsg-1+b1_amd64.deb 22.4 MiB 2025-06-15 01:07:24
rocqide_9.2.0+dfsg-4_amd64.deb 1.9 MiB 2026-08-25 12:22:13
Info
Disk — Total: 1369.8 GiB · Used: 990.4 GiB · Free: 379.4 GiB · 72.3%
Statussuccess
Last Sync2026-10-15 16:18:09
Duration2580.3s
Mirror Size564.6 GiB
Total Syncs347
Failures1
Downloads1202120
Served2902.8 GiB
Next sync: 15m 19s
mirrord 2f3c18b — loaded 2026-10-15 21:19:49