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


../
kord/                                              20-Jul-2021 04:14                   -
mips/                                              21-Jul-2021 00:25                   -
coq-theories_8.11.0-1_amd64.deb                    25-May-2021 07:12            33101796
coq-theories_8.11.0-1_arm64.deb                    25-May-2021 13:50            21435596
coq-theories_8.11.0-1_i386.deb                     19-Apr-2023 06:55            31768812
coq-theories_8.11.0-1_loongarch64.deb              16-Jul-2021 04:56            21423668
coq_8.11.0-1_amd64.deb                             25-May-2021 07:12            76629336
coq_8.11.0-1_arm64.deb                             25-May-2021 13:50            83951824
coq_8.11.0-1_i386.deb                              19-Apr-2023 06:55            72201296
coq_8.11.0-1_loongarch64.deb                       16-Jul-2021 03:58            87170980
coq_8.4pl4dfsg-3build2kord_amd64.deb               29-May-2021 10:39             3948834
coq_8.4pl4dfsg-3build2kord_arm64.deb               01-Jun-2021 10:06             3974872
coq_8.4pl4dfsg-3build2kord_armhf.deb               20-Jul-2021 11:06             3890620
coq_8.4pl4dfsg-3build2kord_i386.deb                20-Jul-2021 06:31             3742178
coq_8.4pl4dfsg-3build2kord_mips64el.deb            30-May-2021 05:19             1042676
coqide_8.11.0-1_amd64.deb                          25-May-2021 07:12             1764982
coqide_8.11.0-1_arm64.deb                          26-May-2021 01:25             2120348
coqide_8.11.0-1_i386.deb                           19-Apr-2023 06:53             1578228
coqide_8.11.0-1_loongarch64.deb                    16-Jul-2021 04:34               47910
coqide_8.4pl4dfsg-3build2kord_amd64.deb            29-May-2021 10:39              750544
coqide_8.4pl4dfsg-3build2kord_arm64.deb            01-Jun-2021 10:06              776916
coqide_8.4pl4dfsg-3build2kord_armhf.deb            20-Jul-2021 11:42              782364
coqide_8.4pl4dfsg-3build2kord_i386.deb             20-Jul-2021 07:13              713258
coqide_8.4pl4dfsg-3build2kord_mips64el.deb         30-May-2021 12:32              214590
libcoq-ocaml-dev_8.11.0-1_amd64.deb                25-May-2021 07:23            16080412
libcoq-ocaml-dev_8.11.0-1_arm64.deb                25-May-2021 11:46            16445168
libcoq-ocaml-dev_8.11.0-1_i386.deb                 19-Apr-2023 06:53            16032878
libcoq-ocaml-dev_8.11.0-1_loongarch64.deb          16-Jul-2021 00:50             9370184
libcoq-ocaml-dev_8.4pl4dfsg-3build2kord_amd64.deb  29-May-2021 10:39             3738830
libcoq-ocaml-dev_8.4pl4dfsg-3build2kord_arm64.deb  01-Jun-2021 10:06             3897260
libcoq-ocaml-dev_8.4pl4dfsg-3build2kord_armhf.deb  20-Jul-2021 10:41             4111060
libcoq-ocaml-dev_8.4pl4dfsg-3build2kord_i386.deb   20-Jul-2021 06:01             3782328
libcoq-ocaml-dev_8.4pl4dfsg-3build2kord_mips64e..> 30-May-2021 12:32             1246542
libcoq-ocaml_8.11.0-1_amd64.deb                    25-May-2021 07:23             6333378
libcoq-ocaml_8.11.0-1_arm64.deb                    25-May-2021 11:46             6827200
libcoq-ocaml_8.11.0-1_i386.deb                     19-Apr-2023 06:54             6047062
libcoq-ocaml_8.11.0-1_loongarch64.deb              16-Jul-2021 04:30             4244732
libcoq-ocaml_8.4pl4dfsg-3build2kord_amd64.deb      29-May-2021 10:39             1505868
libcoq-ocaml_8.4pl4dfsg-3build2kord_arm64.deb      01-Jun-2021 10:06             1410722
libcoq-ocaml_8.4pl4dfsg-3build2kord_armhf.deb      20-Jul-2021 11:38             1468336
libcoq-ocaml_8.4pl4dfsg-3build2kord_i386.deb       20-Jul-2021 07:08             1395052
libcoq-ocaml_8.4pl4dfsg-3build2kord_mips64el.deb   30-May-2021 05:19              336676