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

../
coq_8.18.0+dfsg-ok1.debian.tar.xz                  25-Mar-2024 18:03               23548
coq_8.18.0+dfsg-ok1.dsc                            25-Mar-2024 18:03                2369
coq_8.18.0+dfsg-ok1_amd64.deb                      28-Apr-2024 14:20            75888640
coq_8.18.0+dfsg-ok1_arm64.deb                      22-May-2024 18:00            83785808
coq_8.18.0+dfsg-ok1_loong64.deb                    04-Aug-2024 20:44            83643156
coq_8.18.0+dfsg-ok1_riscv64.deb                    13-Jul-2024 15:33            79085352
coq_8.18.0+dfsg.orig.tar.xz                        25-Mar-2024 18:03             4868368
coqide_8.18.0+dfsg-ok1_amd64.deb                   28-Apr-2024 14:20             1737344
coqide_8.18.0+dfsg-ok1_arm64.deb                   22-May-2024 18:00             2052748
coqide_8.18.0+dfsg-ok1_loong64.deb                 04-Aug-2024 20:44             2200660
coqide_8.18.0+dfsg-ok1_riscv64.deb                 13-Jul-2024 15:33             1905000
libcoq-core-ocaml-dev_8.18.0+dfsg-ok1_amd64.deb    28-Apr-2024 14:20            44439880
libcoq-core-ocaml-dev_8.18.0+dfsg-ok1_arm64.deb    22-May-2024 17:59            44511920
libcoq-core-ocaml-dev_8.18.0+dfsg-ok1_loong64.deb  04-Aug-2024 20:44            48925048
libcoq-core-ocaml-dev_8.18.0+dfsg-ok1_riscv64.deb  13-Jul-2024 15:33            48767880
libcoq-core-ocaml_8.18.0+dfsg-ok1_amd64.deb        28-Apr-2024 14:20            23156532
libcoq-core-ocaml_8.18.0+dfsg-ok1_arm64.deb        22-May-2024 18:00            23960260
libcoq-core-ocaml_8.18.0+dfsg-ok1_loong64.deb      04-Aug-2024 20:44            23663980
libcoq-core-ocaml_8.18.0+dfsg-ok1_riscv64.deb      13-Jul-2024 15:33            23212404
libcoq-stdlib_8.18.0+dfsg-ok1_amd64.deb            28-Apr-2024 14:20            23234528
libcoq-stdlib_8.18.0+dfsg-ok1_arm64.deb            22-May-2024 17:59            23226236
libcoq-stdlib_8.18.0+dfsg-ok1_loong64.deb          04-Aug-2024 20:44            23235680
libcoq-stdlib_8.18.0+dfsg-ok1_riscv64.deb          13-Jul-2024 15:33            23236636