Index of /apt/ct5/delta/dev/debian/pool/main/c/coq/

../
coq_8.20.1+dfsg-1+b1_arm64.deb                     09-Oct-2026 07:41            74446016
coqide_8.20.1+dfsg-1+b1_arm64.deb                  09-Oct-2026 07:53             2246476
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_arm64.deb   09-Oct-2026 08:26            68569160
libcoq-core-ocaml_8.20.1+dfsg-1+b1_arm64.deb       09-Oct-2026 08:13            26387968
libcoq-stdlib_8.20.1+dfsg-1+b1_arm64.deb           09-Oct-2026 08:17            23531376