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

../
coq-theories_8.9.0-1_amd64.deb                     25-Jan-2023 15:33     28M
coq_8.9.0-1_amd64.deb                              25-Jan-2023 15:33     56M
libcoq-ocaml-dev_8.9.0-1_amd64.deb                 25-Jan-2023 19:00     13M
libcoq-ocaml_8.9.0-1_amd64.deb                     25-Jan-2023 19:00      5M