Index of /old/pool/main/c/coq/

../
coq_8.20.1+dfsg-1+b1_arm64.deb                     23-Apr-2026 08:12            74446016
coqide_8.20.1+dfsg-1+b1_arm64.deb                  23-Apr-2026 08:18             2246476
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_arm64.deb   23-Apr-2026 08:52            68569160
libcoq-core-ocaml_8.20.1+dfsg-1+b1_arm64.deb       23-Apr-2026 08:45            26387968
libcoq-stdlib_8.20.1+dfsg-1+b1_arm64.deb           23-Apr-2026 07:56            23531376