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

../
coq_8.16.1+dfsg-1+b2_amd64.deb                     01-Mar-2024 17:35     89M
coq_8.16.1+dfsg-1+b2_i386.deb                      06-Nov-2024 17:07     83M
coqide_8.16.1+dfsg-1+b2_amd64.deb                  01-Mar-2024 17:35      2M
coqide_8.16.1+dfsg-1+b2_i386.deb                   06-Nov-2024 17:08      2M
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_amd64.deb   01-Mar-2024 19:04     41M
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_i386.deb    06-Nov-2024 17:45     40M
libcoq-core-ocaml_8.16.1+dfsg-1+b2_amd64.deb       01-Mar-2024 19:04     22M
libcoq-core-ocaml_8.16.1+dfsg-1+b2_i386.deb        06-Nov-2024 17:45     21M
libcoq-stdlib_8.16.1+dfsg-1+b2_amd64.deb           01-Mar-2024 19:05     21M
libcoq-stdlib_8.16.1+dfsg-1+b2_i386.deb            06-Nov-2024 17:45     21M