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

../
coq-theories_8.12.0-3+b3_amd64.deb                 27-Sep-2025 17:55     35M
coq-theories_8.12.0-3+b3_i386.deb                  27-Sep-2025 17:55     34M
coq-theories_8.9.0-1_amd64.deb                     26-Sep-2025 08:31     28M
coq-theories_8.9.0-1_i386.deb                      26-Sep-2025 08:32     27M
coq_8.12.0-3+b3_amd64.deb                          27-Sep-2025 17:54     86M
coq_8.12.0-3+b3_i386.deb                           27-Sep-2025 17:55     84M
coq_8.12.0-3.debian.tar.xz                         27-Sep-2025 17:55     37K
coq_8.12.0-3.dsc                                   27-Sep-2025 17:55    2483
coq_8.12.0.orig.tar.gz                             27-Sep-2025 17:55      6M
coq_8.16.1+dfsg-1+b2_amd64.deb                     27-Sep-2025 09:45     89M
coq_8.16.1+dfsg-1+b2_i386.deb                      27-Sep-2025 09:45     83M
coq_8.16.1+dfsg-1.debian.tar.xz                    27-Sep-2025 09:45     32K
coq_8.16.1+dfsg-1.dsc                              27-Sep-2025 09:45    2629
coq_8.16.1+dfsg.orig.tar.xz                        27-Sep-2025 09:45      4M
coq_8.20.1+dfsg-1+b1_amd64.deb                     26-Sep-2025 20:19     67M
coq_8.20.1+dfsg-1.debian.tar.xz                    26-Sep-2025 20:19     30K
coq_8.20.1+dfsg-1.dsc                              26-Sep-2025 20:19    2582
coq_8.20.1+dfsg.orig.tar.xz                        26-Sep-2025 20:19      5M
coq_8.9.0-1.debian.tar.xz                          26-Sep-2025 08:31     27K
coq_8.9.0-1.dsc                                    26-Sep-2025 08:31    2417
coq_8.9.0-1_amd64.deb                              26-Sep-2025 08:31     56M
coq_8.9.0-1_i386.deb                               26-Sep-2025 08:31     54M
coq_8.9.0.orig.tar.gz                              26-Sep-2025 08:31      5M
coqide_8.12.0-3+b3_amd64.deb                       27-Sep-2025 17:55      2M
coqide_8.12.0-3+b3_i386.deb                        27-Sep-2025 17:55      2M
coqide_8.16.1+dfsg-1+b2_amd64.deb                  27-Sep-2025 09:45      2M
coqide_8.16.1+dfsg-1+b2_i386.deb                   27-Sep-2025 09:45      2M
coqide_8.20.1+dfsg-1+b1_amd64.deb                  26-Sep-2025 20:20      2M
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_amd64.deb   27-Sep-2025 11:36     41M
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_i386.deb    27-Sep-2025 11:36     40M
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_amd64.deb   26-Sep-2025 23:42     66M
libcoq-core-ocaml_8.16.1+dfsg-1+b2_amd64.deb       27-Sep-2025 11:36     22M
libcoq-core-ocaml_8.16.1+dfsg-1+b2_i386.deb        27-Sep-2025 11:36     21M
libcoq-core-ocaml_8.20.1+dfsg-1+b1_amd64.deb       26-Sep-2025 23:42     25M
libcoq-ocaml-dev_8.12.0-3+b3_amd64.deb             27-Sep-2025 19:42     18M
libcoq-ocaml-dev_8.12.0-3+b3_i386.deb              27-Sep-2025 19:42     18M
libcoq-ocaml-dev_8.9.0-1_amd64.deb                 26-Sep-2025 11:03     13M
libcoq-ocaml-dev_8.9.0-1_i386.deb                  26-Sep-2025 11:03     13M
libcoq-ocaml_8.12.0-3+b3_amd64.deb                 27-Sep-2025 19:42      7M
libcoq-ocaml_8.12.0-3+b3_i386.deb                  27-Sep-2025 19:42      7M
libcoq-ocaml_8.9.0-1_amd64.deb                     26-Sep-2025 11:03      5M
libcoq-ocaml_8.9.0-1_i386.deb                      26-Sep-2025 11:03      5M
libcoq-stdlib_8.16.1+dfsg-1+b2_amd64.deb           27-Sep-2025 11:36     21M
libcoq-stdlib_8.16.1+dfsg-1+b2_i386.deb            27-Sep-2025 11:36     21M
libcoq-stdlib_8.20.1+dfsg-1+b1_amd64.deb           26-Sep-2025 23:42     22M