Index of /debian_trixie_main/latest/pool/main/c/coq/

../
coq_8.20.1+dfsg-1+b1_amd64.deb                     11-Nov-2025 13:26            70222224
coqide_8.20.1+dfsg-1+b1_amd64.deb                  11-Nov-2025 13:26             1930360
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_amd64.deb   11-Nov-2025 13:26            68700208
libcoq-core-ocaml_8.20.1+dfsg-1+b1_amd64.deb       11-Nov-2025 13:26            25955760
libcoq-stdlib_8.20.1+dfsg-1+b1_amd64.deb           11-Nov-2025 13:26            23527164