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

../
coq-theories_8.12.0-3+b3_amd64.deb                 02-Apr-2026 22:56     35M
coq-theories_8.12.0-3+b3_i386.deb                  02-Apr-2026 22:56     34M
coq_8.12.0-3+b3_amd64.deb                          02-Apr-2026 22:56     86M
coq_8.12.0-3+b3_i386.deb                           02-Apr-2026 22:56     84M
coq_8.12.0-3.debian.tar.xz                         02-Apr-2026 22:56     37K
coq_8.12.0-3.dsc                                   02-Apr-2026 22:56    2483
coq_8.12.0.orig.tar.gz                             02-Apr-2026 22:56      6M
coq_8.16.1+dfsg-1+b2_amd64.deb                     31-Mar-2026 09:27     89M
coq_8.16.1+dfsg-1+b2_i386.deb                      31-Mar-2026 09:28     83M
coq_8.16.1+dfsg-1.debian.tar.xz                    31-Mar-2026 09:28     32K
coq_8.16.1+dfsg-1.dsc                              31-Mar-2026 09:28    2629
coq_8.16.1+dfsg.orig.tar.xz                        31-Mar-2026 09:28      4M
coq_8.20.1+dfsg-1+b1_amd64.deb                     24-Mar-2026 08:05     67M
coq_8.20.1+dfsg-1.debian.tar.xz                    24-Mar-2026 08:06     30K
coq_8.20.1+dfsg-1.dsc                              24-Mar-2026 08:06    2582
coq_8.20.1+dfsg.orig.tar.xz                        24-Mar-2026 08:06      5M
coqide_8.12.0-3+b3_amd64.deb                       02-Apr-2026 22:56      2M
coqide_8.12.0-3+b3_i386.deb                        02-Apr-2026 22:56      2M
coqide_8.16.1+dfsg-1+b2_amd64.deb                  31-Mar-2026 09:29      2M
coqide_8.16.1+dfsg-1+b2_i386.deb                   31-Mar-2026 09:29      2M
coqide_8.20.1+dfsg-1+b1_amd64.deb                  24-Mar-2026 08:18      2M
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_amd64.deb   31-Mar-2026 18:45     41M
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_i386.deb    31-Mar-2026 18:45     40M
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_amd64.deb   25-Mar-2026 18:32     66M
libcoq-core-ocaml_8.16.1+dfsg-1+b2_amd64.deb       31-Mar-2026 18:44     22M
libcoq-core-ocaml_8.16.1+dfsg-1+b2_i386.deb        31-Mar-2026 18:45     21M
libcoq-core-ocaml_8.20.1+dfsg-1+b1_amd64.deb       25-Mar-2026 18:31     25M
libcoq-ocaml-dev_8.12.0-3+b3_amd64.deb             03-Apr-2026 03:35     18M
libcoq-ocaml-dev_8.12.0-3+b3_i386.deb              03-Apr-2026 03:35     18M
libcoq-ocaml_8.12.0-3+b3_amd64.deb                 03-Apr-2026 03:35      7M
libcoq-ocaml_8.12.0-3+b3_i386.deb                  03-Apr-2026 03:35      7M
libcoq-stdlib_8.16.1+dfsg-1+b2_amd64.deb           31-Mar-2026 18:47     21M
libcoq-stdlib_8.16.1+dfsg-1+b2_i386.deb            31-Mar-2026 18:47     21M
libcoq-stdlib_8.20.1+dfsg-1+b1_amd64.deb           25-Mar-2026 18:34     22M