Index of /debian/pool/main/c/coq/

../
coq_8.16.1+dfsg-1+b2_amd64.deb                     24-Aug-2026 17:24     89M
coq_8.16.1+dfsg-1+b2_arm64.deb                     24-Aug-2026 17:24     97M
coq_8.20.1+dfsg-1+b1_amd64.deb                     24-Aug-2026 17:24     67M
coq_8.20.1+dfsg-1+b1_arm64.deb                     24-Aug-2026 17:24     71M
coqide_8.16.1+dfsg-1+b2_amd64.deb                  24-Aug-2026 17:24      2M
coqide_8.16.1+dfsg-1+b2_arm64.deb                  24-Aug-2026 17:24      2M
coqide_8.20.1+dfsg-1+b1_amd64.deb                  24-Aug-2026 17:24      2M
coqide_8.20.1+dfsg-1+b1_arm64.deb                  24-Aug-2026 17:24      2M
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_amd64.deb   24-Aug-2026 17:25     41M
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_arm64.deb   24-Aug-2026 17:25     41M
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_amd64.deb   24-Aug-2026 17:25     66M
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_arm64.deb   24-Aug-2026 17:25     65M
libcoq-core-ocaml_8.16.1+dfsg-1+b2_amd64.deb       24-Aug-2026 17:25     22M
libcoq-core-ocaml_8.16.1+dfsg-1+b2_arm64.deb       24-Aug-2026 17:25     22M
libcoq-core-ocaml_8.20.1+dfsg-1+b1_amd64.deb       24-Aug-2026 17:25     25M
libcoq-core-ocaml_8.20.1+dfsg-1+b1_arm64.deb       24-Aug-2026 17:25     25M
libcoq-stdlib_8.16.1+dfsg-1+b2_amd64.deb           24-Aug-2026 17:25     21M
libcoq-stdlib_8.16.1+dfsg-1+b2_arm64.deb           24-Aug-2026 17:25     21M
libcoq-stdlib_8.20.1+dfsg-1+b1_amd64.deb           24-Aug-2026 17:25     22M
libcoq-stdlib_8.20.1+dfsg-1+b1_arm64.deb           24-Aug-2026 17:25     22M