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

../
coq-theories_8.6-4_amd64.deb                       25-Jan-2023 07:30     30M
coq-theories_8.6-4_i386.deb                        12-Nov-2024 10:50     29M
coq_8.6-4_amd64.deb                                20-Dec-2022 17:17     13M
coq_8.6-4_i386.deb                                 12-Nov-2024 10:50     13M
coqide_8.6-4_amd64.deb                             20-Dec-2022 17:17      1M
coqide_8.6-4_i386.deb                              12-Nov-2024 10:51      1M
libcoq-ocaml-dev_8.6-4_amd64.deb                   20-Dec-2022 17:17     13M
libcoq-ocaml-dev_8.6-4_i386.deb                    12-Nov-2024 11:22     13M
libcoq-ocaml_8.6-4_amd64.deb                       20-Dec-2022 17:17      3M
libcoq-ocaml_8.6-4_i386.deb                        12-Nov-2024 11:21      3M