Index of /pool/universe/c/coq-serapi

[ICO]NameLast modifiedSize

[PARENTDIR]Parent Directory  -
[   ]libcoq-serapi-ocaml_8.20.0+0.20.0-1build2_riscv64.deb2025-02-13 05:32 6.6M
[   ]libcoq-serapi-ocaml_8.20.0+0.20.0-1build2_ppc64el.deb2025-02-14 16:03 6.4M
[   ]libcoq-serapi-ocaml_8.20.0+0.20.0-1build2_arm64.deb2025-02-14 16:03 6.8M
[   ]libcoq-serapi-ocaml_8.20.0+0.20.0-1build1_ppc64el.deb2025-02-01 15:49 6.4M
[   ]libcoq-serapi-ocaml_8.20.0+0.20.0-1build1_arm64.deb2025-02-01 08:11 6.8M
[   ]libcoq-serapi-ocaml_8.20.0+0.20.0-1_riscv64.deb2024-11-20 23:31 6.6M
[   ]libcoq-serapi-ocaml_8.20.0+0.20.0-1_ppc64el.deb2024-11-20 23:31 6.4M
[   ]libcoq-serapi-ocaml_8.20.0+0.20.0-1_arm64.deb2024-11-20 23:31 6.7M
[   ]libcoq-serapi-ocaml_8.19.0+0.19.3-4build2_riscv64.deb2024-09-06 23:59 6.3M
[   ]libcoq-serapi-ocaml_8.19.0+0.19.3-4build2_ppc64el.deb2024-09-06 23:05 6.1M
[   ]libcoq-serapi-ocaml_8.19.0+0.19.3-4build2_arm64.deb2024-09-06 23:59 6.4M
[   ]libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1build2_riscv64.deb2025-02-13 05:32 19M
[   ]libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1build2_ppc64el.deb2025-02-14 16:03 17M
[   ]libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1build2_arm64.deb2025-02-14 16:03 17M
[   ]libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1build1_ppc64el.deb2025-02-01 15:49 17M
[   ]libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1build1_arm64.deb2025-02-01 08:11 17M
[   ]libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1_riscv64.deb2024-11-20 23:31 20M
[   ]libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1_ppc64el.deb2024-11-20 23:31 17M
[   ]libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1_arm64.deb2024-11-20 23:31 17M
[   ]libcoq-serapi-ocaml-dev_8.19.0+0.19.3-4build2_riscv64.deb2024-09-06 23:59 19M
[   ]libcoq-serapi-ocaml-dev_8.19.0+0.19.3-4build2_ppc64el.deb2024-09-06 23:05 17M
[   ]libcoq-serapi-ocaml-dev_8.19.0+0.19.3-4build2_arm64.deb2024-09-06 23:59 16M
[   ]coq-serapi_8.20.0+0.20.0.orig.tar.gz2024-11-20 18:47 178K
[   ]coq-serapi_8.20.0+0.20.0-1build2_riscv64.deb2025-02-13 05:32 35M
[   ]coq-serapi_8.20.0+0.20.0-1build2_ppc64el.deb2025-02-14 16:03 34M
[   ]coq-serapi_8.20.0+0.20.0-1build2_arm64.deb2025-02-14 16:03 40M
[   ]coq-serapi_8.20.0+0.20.0-1build2.dsc2025-02-12 22:46 2.4K
[   ]coq-serapi_8.20.0+0.20.0-1build2.debian.tar.xz2025-02-12 22:46 8.9K
[   ]coq-serapi_8.20.0+0.20.0-1build1_ppc64el.deb2025-02-01 15:49 34M
[   ]coq-serapi_8.20.0+0.20.0-1build1_arm64.deb2025-02-01 08:11 40M
[   ]coq-serapi_8.20.0+0.20.0-1_riscv64.deb2024-11-20 23:31 36M
[   ]coq-serapi_8.20.0+0.20.0-1_ppc64el.deb2024-11-20 23:31 34M
[   ]coq-serapi_8.20.0+0.20.0-1_arm64.deb2024-11-20 23:31 40M
[   ]coq-serapi_8.20.0+0.20.0-1.dsc2024-11-20 18:47 2.4K
[   ]coq-serapi_8.20.0+0.20.0-1.debian.tar.xz2024-11-20 18:47 8.9K
[   ]coq-serapi_8.19.0+0.19.3.orig.tar.gz2024-05-26 17:38 175K
[   ]coq-serapi_8.19.0+0.19.3-4build2_riscv64.deb2024-09-06 23:59 36M
[   ]coq-serapi_8.19.0+0.19.3-4build2_ppc64el.deb2024-09-06 23:05 34M
[   ]coq-serapi_8.19.0+0.19.3-4build2_arm64.deb2024-09-06 23:59 40M
[   ]coq-serapi_8.19.0+0.19.3-4build2.dsc2024-09-06 23:05 2.4K
[   ]coq-serapi_8.19.0+0.19.3-4build2.debian.tar.xz2024-09-06 23:05 10K

Apache/2.4.29 (Ubuntu) Server at ports.ubuntu.com Port 80