Index of /repos/scibian11/pool/main/c/coq/

../
coq-theories_8.12.0-3+b3_amd64.deb                 22-May-2023 11:00     35M
coq_8.12.0-3+b3_amd64.deb                          22-May-2023 11:00     86M
coqide_8.12.0-3+b3_amd64.deb                       22-May-2023 11:00      2M
libcoq-ocaml-dev_8.12.0-3+b3_amd64.deb             22-May-2023 12:40     18M
libcoq-ocaml_8.12.0-3+b3_amd64.deb                 22-May-2023 12:40      7M