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

../
coq_8.20.1+dfsg-1+b1_amd64.deb                     05-Jan-2026 23:13            70222224
coq_8.20.1+dfsg-1+b2_amd64.deb                     05-Jan-2026 23:14            71118656
coqide_8.20.1+dfsg-1+b1_amd64.deb                  05-Jan-2026 23:14             1930360
coqide_8.20.1+dfsg-1+b2_amd64.deb                  05-Jan-2026 23:14             1952024
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_amd64.deb   05-Jan-2026 23:15            68700208
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b2_amd64.deb   05-Jan-2026 23:16            52013688
libcoq-core-ocaml_8.20.1+dfsg-1+b1_amd64.deb       05-Jan-2026 23:16            25955760
libcoq-core-ocaml_8.20.1+dfsg-1+b2_amd64.deb       05-Jan-2026 23:16            24207612
libcoq-stdlib_8.20.1+dfsg-1+b1_amd64.deb           05-Jan-2026 23:17            23527164
libcoq-stdlib_8.20.1+dfsg-1+b2_amd64.deb           05-Jan-2026 23:17            23530520