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

../
coq-theories_8.9.0-1_amd64.deb                     25-Jan-2023 15:33     28M
coq-theories_8.9.0-1_i386.deb                      08-Nov-2024 08:23     27M
coq_8.9.0-1_amd64.deb                              25-Jan-2023 15:33     56M
coq_8.9.0-1_i386.deb                               08-Nov-2024 08:23     54M
libcoq-ocaml-dev_8.9.0-1_amd64.deb                 25-Jan-2023 19:00     13M
libcoq-ocaml-dev_8.9.0-1_i386.deb                  08-Nov-2024 08:58     13M
libcoq-ocaml_8.9.0-1_amd64.deb                     25-Jan-2023 19:00      5M
libcoq-ocaml_8.9.0-1_i386.deb                      08-Nov-2024 08:58      5M