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