Index of /debian/pool/main/c/coq/

../
coq-theories_8.12.0-3+b3_amd64.deb                 06-Nov-2024 19:08     35M
coq-theories_8.12.0-3+b3_i386.deb                  06-Nov-2024 19:08     34M
coq-theories_8.9.0-1_amd64.deb                     06-Nov-2024 19:08     28M
coq-theories_8.9.0-1_i386.deb                      06-Nov-2024 19:08     27M
coq_8.12.0-3+b3_amd64.deb                          06-Nov-2024 19:08     86M
coq_8.12.0-3+b3_i386.deb                           06-Nov-2024 19:08     84M
coq_8.12.0-3.debian.tar.xz                         06-Nov-2024 19:08     37K
coq_8.12.0-3.dsc                                   06-Nov-2024 19:08    2483
coq_8.12.0.orig.tar.gz                             06-Nov-2024 19:08      6M
coq_8.16.1+dfsg-1+b2_amd64.deb                     06-Nov-2024 19:08     89M
coq_8.16.1+dfsg-1+b2_i386.deb                      06-Nov-2024 19:08     83M
coq_8.16.1+dfsg-1.debian.tar.xz                    06-Nov-2024 19:08     32K
coq_8.16.1+dfsg-1.dsc                              06-Nov-2024 19:08    2629
coq_8.16.1+dfsg.orig.tar.xz                        06-Nov-2024 19:08      4M
coq_8.9.0-1.debian.tar.xz                          06-Nov-2024 19:08     27K
coq_8.9.0-1.dsc                                    06-Nov-2024 19:08    2417
coq_8.9.0-1_amd64.deb                              06-Nov-2024 19:08     56M
coq_8.9.0-1_i386.deb                               06-Nov-2024 19:08     54M
coq_8.9.0.orig.tar.gz                              06-Nov-2024 19:08      5M
coqide_8.12.0-3+b3_amd64.deb                       06-Nov-2024 19:08      2M
coqide_8.12.0-3+b3_i386.deb                        06-Nov-2024 19:08      2M
coqide_8.16.1+dfsg-1+b2_amd64.deb                  06-Nov-2024 19:08      2M
coqide_8.16.1+dfsg-1+b2_i386.deb                   06-Nov-2024 19:08      2M
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_amd64.deb   06-Nov-2024 19:08     41M
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_i386.deb    06-Nov-2024 19:08     40M
libcoq-core-ocaml_8.16.1+dfsg-1+b2_amd64.deb       06-Nov-2024 19:08     22M
libcoq-core-ocaml_8.16.1+dfsg-1+b2_i386.deb        06-Nov-2024 19:08     21M
libcoq-ocaml-dev_8.12.0-3+b3_amd64.deb             06-Nov-2024 19:08     18M
libcoq-ocaml-dev_8.12.0-3+b3_i386.deb              06-Nov-2024 19:08     18M
libcoq-ocaml-dev_8.9.0-1_amd64.deb                 06-Nov-2024 19:08     13M
libcoq-ocaml-dev_8.9.0-1_i386.deb                  06-Nov-2024 19:08     13M
libcoq-ocaml_8.12.0-3+b3_amd64.deb                 06-Nov-2024 19:08      7M
libcoq-ocaml_8.12.0-3+b3_i386.deb                  06-Nov-2024 19:08      7M
libcoq-ocaml_8.9.0-1_amd64.deb                     06-Nov-2024 19:08      5M
libcoq-ocaml_8.9.0-1_i386.deb                      06-Nov-2024 19:08      5M
libcoq-stdlib_8.16.1+dfsg-1+b2_amd64.deb           06-Nov-2024 19:08     21M
libcoq-stdlib_8.16.1+dfsg-1+b2_i386.deb            06-Nov-2024 19:08     21M