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

../
coq-theories_8.12.0-3+b3_amd64.deb                 21-Jan-2026 12:15     35M
coq-theories_8.12.0-3+b3_i386.deb                  21-Jan-2026 12:15     34M
coq-theories_8.9.0-1_amd64.deb                     22-Jan-2026 18:20     28M
coq-theories_8.9.0-1_i386.deb                      22-Jan-2026 18:20     27M
coq_8.12.0-3+b3_amd64.deb                          21-Jan-2026 12:14     86M
coq_8.12.0-3+b3_i386.deb                           21-Jan-2026 12:15     84M
coq_8.12.0-3.debian.tar.xz                         21-Jan-2026 12:15     37K
coq_8.12.0-3.dsc                                   21-Jan-2026 12:15    2483
coq_8.12.0.orig.tar.gz                             21-Jan-2026 12:15      6M
coq_8.16.1+dfsg-1+b2_amd64.deb                     20-Jan-2026 02:21     89M
coq_8.16.1+dfsg-1+b2_i386.deb                      20-Jan-2026 02:22     83M
coq_8.16.1+dfsg-1.debian.tar.xz                    20-Jan-2026 02:22     32K
coq_8.16.1+dfsg-1.dsc                              20-Jan-2026 02:22    2629
coq_8.16.1+dfsg.orig.tar.xz                        20-Jan-2026 02:22      4M
coq_8.20.1+dfsg-1+b1_amd64.deb                     18-Jan-2026 09:21     67M
coq_8.20.1+dfsg-1.debian.tar.xz                    18-Jan-2026 09:21     30K
coq_8.20.1+dfsg-1.dsc                              18-Jan-2026 09:21    2582
coq_8.20.1+dfsg.orig.tar.xz                        18-Jan-2026 09:21      5M
coq_8.9.0-1.debian.tar.xz                          22-Jan-2026 18:20     27K
coq_8.9.0-1.dsc                                    22-Jan-2026 18:20    2417
coq_8.9.0-1_amd64.deb                              22-Jan-2026 18:19     56M
coq_8.9.0-1_i386.deb                               22-Jan-2026 18:20     54M
coq_8.9.0.orig.tar.gz                              22-Jan-2026 18:20      5M
coqide_8.12.0-3+b3_amd64.deb                       21-Jan-2026 12:15      2M
coqide_8.12.0-3+b3_i386.deb                        21-Jan-2026 12:15      2M
coqide_8.16.1+dfsg-1+b2_amd64.deb                  20-Jan-2026 02:22      2M
coqide_8.16.1+dfsg-1+b2_i386.deb                   20-Jan-2026 02:22      2M
coqide_8.20.1+dfsg-1+b1_amd64.deb                  18-Jan-2026 09:22      2M
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_amd64.deb   20-Jan-2026 09:02     41M
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_i386.deb    20-Jan-2026 09:03     40M
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_amd64.deb   18-Jan-2026 19:52     66M
libcoq-core-ocaml_8.16.1+dfsg-1+b2_amd64.deb       20-Jan-2026 09:02     22M
libcoq-core-ocaml_8.16.1+dfsg-1+b2_i386.deb        20-Jan-2026 09:02     21M
libcoq-core-ocaml_8.20.1+dfsg-1+b1_amd64.deb       18-Jan-2026 19:52     25M
libcoq-ocaml-dev_8.12.0-3+b3_amd64.deb             21-Jan-2026 18:50     18M
libcoq-ocaml-dev_8.12.0-3+b3_i386.deb              21-Jan-2026 18:50     18M
libcoq-ocaml-dev_8.9.0-1_amd64.deb                 22-Jan-2026 21:34     13M
libcoq-ocaml-dev_8.9.0-1_i386.deb                  22-Jan-2026 21:34     13M
libcoq-ocaml_8.12.0-3+b3_amd64.deb                 21-Jan-2026 18:49      7M
libcoq-ocaml_8.12.0-3+b3_i386.deb                  21-Jan-2026 18:49      7M
libcoq-ocaml_8.9.0-1_amd64.deb                     22-Jan-2026 21:34      5M
libcoq-ocaml_8.9.0-1_i386.deb                      22-Jan-2026 21:34      5M
libcoq-stdlib_8.16.1+dfsg-1+b2_amd64.deb           20-Jan-2026 09:04     21M
libcoq-stdlib_8.16.1+dfsg-1+b2_i386.deb            20-Jan-2026 09:05     21M
libcoq-stdlib_8.20.1+dfsg-1+b1_amd64.deb           18-Jan-2026 19:54     22M