Index of /kylin/KYLIN-ALL/pool/main/c/coq/

../
coq-theories_8.11.0-1_riscv64.deb                  15-Aug-2023 08:05            21423214
coq_8.11.0-1_riscv64.deb                           15-Aug-2023 08:08            87169856
coq_8.18.0+dfsg-ok1_amd64.deb                      29-Sep-2024 08:29            75890506
coq_8.18.0+dfsg-ok1_arm64.deb                      09-Oct-2024 09:19            83787674
coq_8.18.0+dfsg-ok1_loong64.deb                    31-Oct-2024 10:47            83645022
coqide_8.11.0-1_riscv64.deb                        15-Aug-2023 08:09               47910
coqide_8.18.0+dfsg-ok1_amd64.deb                   29-Sep-2024 07:42             1739210
coqide_8.18.0+dfsg-ok1_arm64.deb                   09-Oct-2024 10:10             2054616
coqide_8.18.0+dfsg-ok1_loong64.deb                 31-Oct-2024 11:14             2202528
libcoq-core-ocaml-dev_8.18.0+dfsg-ok1_amd64.deb    29-Sep-2024 09:31            44441748
libcoq-core-ocaml-dev_8.18.0+dfsg-ok1_arm64.deb    09-Oct-2024 09:39            44513788
libcoq-core-ocaml-dev_8.18.0+dfsg-ok1_loong64.deb  31-Oct-2024 10:10            48926916
libcoq-core-ocaml_8.18.0+dfsg-ok1_amd64.deb        29-Sep-2024 08:48            23158400
libcoq-core-ocaml_8.18.0+dfsg-ok1_arm64.deb        09-Oct-2024 09:39            23962126
libcoq-core-ocaml_8.18.0+dfsg-ok1_loong64.deb      31-Oct-2024 10:53            23665848
libcoq-ocaml-dev_8.11.0-1_riscv64.deb              15-Aug-2023 08:17             9370180
libcoq-ocaml_8.11.0-1_riscv64.deb                  15-Aug-2023 08:14             4245280
libcoq-stdlib_8.18.0+dfsg-ok1_amd64.deb            29-Sep-2024 08:03            23236396
libcoq-stdlib_8.18.0+dfsg-ok1_arm64.deb            09-Oct-2024 10:39            23228104
libcoq-stdlib_8.18.0+dfsg-ok1_loong64.deb          31-Oct-2024 10:47            23237546