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+b3_amd64.deb                     10-Mar-2026 01:06            71120816
coqide_8.20.1+dfsg-1+b1_amd64.deb                  05-Jan-2026 23:14             1930360
coqide_8.20.1+dfsg-1+b3_amd64.deb                  10-Mar-2026 01:06             1937248
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+b3_amd64.deb   10-Mar-2026 01:07            52008056
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+b3_amd64.deb       10-Mar-2026 01:07            24209008
libcoq-stdlib_8.20.1+dfsg-1+b1_amd64.deb           05-Jan-2026 23:17            23527164
libcoq-stdlib_8.20.1+dfsg-1+b3_amd64.deb           10-Mar-2026 01:07            23527548