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

../
coq-theories_8.12.0-3+b3_amd64.deb                 22-May-2023 11:00     35M
coq-theories_8.12.0-3+b3_i386.deb                  07-Nov-2024 13:33     34M
coq_8.12.0-3+b3_amd64.deb                          22-May-2023 11:00     86M
coq_8.12.0-3+b3_i386.deb                           07-Nov-2024 13:33     84M
coqide_8.12.0-3+b3_amd64.deb                       22-May-2023 11:00      2M
coqide_8.12.0-3+b3_i386.deb                        07-Nov-2024 13:33      2M
libcoq-ocaml-dev_8.12.0-3+b3_amd64.deb             22-May-2023 12:40     18M
libcoq-ocaml-dev_8.12.0-3+b3_i386.deb              07-Nov-2024 14:12     18M
libcoq-ocaml_8.12.0-3+b3_amd64.deb                 22-May-2023 12:40      7M
libcoq-ocaml_8.12.0-3+b3_i386.deb                  07-Nov-2024 14:12      7M