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

../
coq-theories_8.6-4_amd64.deb                       25-Jan-2023 07:30     30M
coq_8.6-4_amd64.deb                                20-Dec-2022 17:17     13M
coqide_8.6-4_amd64.deb                             20-Dec-2022 17:17      1M
libcoq-ocaml-dev_8.6-4_amd64.deb                   20-Dec-2022 17:17     13M
libcoq-ocaml_8.6-4_amd64.deb                       20-Dec-2022 17:17      3M