Index of /pool/main/c/coq/

../
coq_8.20.1+dfsg-1+b1_amd64.deb                     23-Aug-2025 04:33     67M
coq_8.20.1+dfsg-1+b1_arm64.deb                     25-Aug-2025 00:05     71M
coqide_8.20.1+dfsg-1+b1_amd64.deb                  23-Aug-2025 04:33      2M
coqide_8.20.1+dfsg-1+b1_arm64.deb                  25-Aug-2025 00:05      2M
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_amd64.deb   23-Aug-2025 04:33     66M
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_arm64.deb   25-Aug-2025 00:05     65M
libcoq-core-ocaml_8.20.1+dfsg-1+b1_amd64.deb       23-Aug-2025 04:33     25M
libcoq-core-ocaml_8.20.1+dfsg-1+b1_arm64.deb       25-Aug-2025 00:05     25M
libcoq-stdlib_8.20.1+dfsg-1+b1_amd64.deb           23-Aug-2025 04:33     22M
libcoq-stdlib_8.20.1+dfsg-1+b1_arm64.deb           25-Aug-2025 00:05     22M