Index of /kylinsoft/anything3.0/openkylin/pool/main/c/coq/

../
coq_8.20.1+dfsg-ok1.debian.tar.xz                  06-May-2026 17:16               20432
coq_8.20.1+dfsg-ok1.dsc                            06-May-2026 17:16                2369
coq_8.20.1+dfsg-ok1_amd64.deb                      10-Jun-2026 21:55            79385160
coq_8.20.1+dfsg-ok1_arm64.deb                      11-May-2026 04:55            86817506
coq_8.20.1+dfsg-ok1_riscv64.deb                    30-May-2026 01:11            84360096
coq_8.20.1+dfsg.orig.tar.xz                        06-May-2026 17:16             5014988
coqide_8.20.1+dfsg-ok1_amd64.deb                   10-Jun-2026 21:55             1918324
coqide_8.20.1+dfsg-ok1_arm64.deb                   11-May-2026 04:55             2185314
coqide_8.20.1+dfsg-ok1_riscv64.deb                 30-May-2026 01:11             2020882
libcoq-core-ocaml-dev_8.20.1+dfsg-ok1_amd64.deb    10-Jun-2026 21:55            59801132
libcoq-core-ocaml-dev_8.20.1+dfsg-ok1_arm64.deb    11-May-2026 04:55            53409798
libcoq-core-ocaml-dev_8.20.1+dfsg-ok1_riscv64.deb  30-May-2026 01:11            59149394
libcoq-core-ocaml_8.20.1+dfsg-ok1_amd64.deb        10-Jun-2026 21:55            28360310
libcoq-core-ocaml_8.20.1+dfsg-ok1_arm64.deb        11-May-2026 04:55            29355412
libcoq-core-ocaml_8.20.1+dfsg-ok1_riscv64.deb      30-May-2026 01:11            28462100
libcoq-stdlib_8.20.1+dfsg-ok1_amd64.deb            10-Jun-2026 21:55            26915224
libcoq-stdlib_8.20.1+dfsg-ok1_arm64.deb            11-May-2026 04:55            26913780
libcoq-stdlib_8.20.1+dfsg-ok1_riscv64.deb          30-May-2026 01:11            26914174