Index of /pool/main/c/coq/

../
coq_8.18.0+dfsg-1build2_amd64.deb                  28-Oct-2025 13:25            95929242
coqide_8.18.0+dfsg-1build2_amd64.deb               28-Oct-2025 13:38             2349532
libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_amd64..> 28-Oct-2025 13:50            51407928
libcoq-core-ocaml_8.18.0+dfsg-1build2_amd64.deb    28-Oct-2025 13:45            27687350
libcoq-stdlib_8.18.0+dfsg-1build2_amd64.deb        28-Oct-2025 13:23            26511990