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-3+b1_amd64.deb 39.4 MiB 2026-07-27 19:33:20
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-3+b1_amd64.deb 53.1 MiB 2026-07-27 19:33:20
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-3+b1_amd64.deb 24.6 MiB 2026-07-27 19:33:20
libcoq-core_9.2.0+dfsg-3+b1_amd64.deb 1.1 MiB 2026-07-27 19:33:20
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-3+b1_amd64.deb 1.9 MiB 2026-07-27 19:33:20
Info
Disk — Total: 2048.0 GiB · Used: 1102.1 GiB · Free: 945.9 GiB · 53.8%
Statussuccess
Last Sync2026-08-16 16:43:23
Duration210.6s
Mirror Size689.8 GiB
Total Syncs124
Failures0
Downloads488242
Served837.6 GiB
Next sync: 29m 16s
mirrord 1d8151e — loaded 2026-08-16 22:10:36