Index of /testing/debian-13-official-release/pool/main/c/coq/

../
coq_8.20.1+dfsg-1+b1_amd64.deb                     29-Sep-2025 15:37            70222224
coqide_8.20.1+dfsg-1+b1_amd64.deb                  29-Sep-2025 15:51             1930360
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_amd64.deb   29-Sep-2025 15:45            68700208
libcoq-core-ocaml_8.20.1+dfsg-1+b1_amd64.deb       29-Sep-2025 15:39            25955760
libcoq-stdlib_8.20.1+dfsg-1+b1_amd64.deb           29-Sep-2025 15:44            23527164