Index of /pardus/pool/main/c/coq/

../
coq-theories_8.6-4_amd64.deb                       31-Oct-2025 17:29     30M
coq-theories_8.6-4_i386.deb                        31-Oct-2025 17:32     29M
coq-theories_8.9.0-1_amd64.deb                     31-Oct-2025 16:45     28M
coq-theories_8.9.0-1_arm64.deb                     31-Oct-2025 19:17     19M
coq-theories_8.9.0-1_i386.deb                      31-Oct-2025 16:42     27M
coq_8.6-4.debian.tar.xz                            31-Oct-2025 17:27     21K
coq_8.6-4.dsc                                      31-Oct-2025 17:27    2396
coq_8.6-4_amd64.deb                                31-Oct-2025 17:19     13M
coq_8.6-4_i386.deb                                 31-Oct-2025 17:21     13M
coq_8.6.orig.tar.gz                                31-Oct-2025 17:28      5M
coq_8.9.0-1.debian.tar.xz                          31-Oct-2025 16:46     27K
coq_8.9.0-1.dsc                                    31-Oct-2025 16:46    2417
coq_8.9.0-1_amd64.deb                              31-Oct-2025 16:49     56M
coq_8.9.0-1_arm64.deb                              31-Oct-2025 19:18     60M
coq_8.9.0-1_i386.deb                               31-Oct-2025 16:34     54M
coq_8.9.0.orig.tar.gz                              31-Oct-2025 16:46      5M
coqide_8.6-4_amd64.deb                             31-Oct-2025 17:30      1M
coqide_8.6-4_i386.deb                              31-Oct-2025 17:18      1M
libcoq-ocaml-dev_8.6-4_amd64.deb                   31-Oct-2025 17:33     13M
libcoq-ocaml-dev_8.6-4_i386.deb                    31-Oct-2025 17:20     13M
libcoq-ocaml-dev_8.9.0-1_amd64.deb                 31-Oct-2025 16:59     13M
libcoq-ocaml-dev_8.9.0-1_arm64.deb                 31-Oct-2025 19:13     13M
libcoq-ocaml-dev_8.9.0-1_i386.deb                  31-Oct-2025 16:53     13M
libcoq-ocaml_8.6-4_amd64.deb                       31-Oct-2025 17:19      3M
libcoq-ocaml_8.6-4_i386.deb                        31-Oct-2025 17:17      3M
libcoq-ocaml_8.9.0-1_amd64.deb                     31-Oct-2025 16:46      5M
libcoq-ocaml_8.9.0-1_arm64.deb                     31-Oct-2025 19:15      6M
libcoq-ocaml_8.9.0-1_i386.deb                      31-Oct-2025 16:59      5M