Index of /testing/pool/main/c/coq/

../
coq_8.15.0+dfsg-2_amd64.deb                        09-Aug-2024 14:12            95393552
coqide_8.15.0+dfsg-2_amd64.deb                     09-Aug-2024 14:09             2387786
libcoq-core-ocaml-dev_8.15.0+dfsg-2_amd64.deb      09-Aug-2024 14:20            45035496
libcoq-core-ocaml_8.15.0+dfsg-2_amd64.deb          09-Aug-2024 14:21            27070410
libcoq-stdlib_8.15.0+dfsg-2_amd64.deb              09-Aug-2024 14:20            24695142