Index of /pool/universe/c/coq-serapi
Name
Last modified
Size
Parent Directory
-
libcoq-serapi-ocaml_8.20.0+0.20.0-1build2_riscv64.deb
2025-02-13 05:32
6.6M
libcoq-serapi-ocaml_8.20.0+0.20.0-1build2_ppc64el.deb
2025-02-14 16:03
6.4M
libcoq-serapi-ocaml_8.20.0+0.20.0-1build2_arm64.deb
2025-02-14 16:03
6.8M
libcoq-serapi-ocaml_8.20.0+0.20.0-1build1_ppc64el.deb
2025-02-01 15:49
6.4M
libcoq-serapi-ocaml_8.20.0+0.20.0-1build1_arm64.deb
2025-02-01 08:11
6.8M
libcoq-serapi-ocaml_8.20.0+0.20.0-1_riscv64.deb
2024-11-20 23:31
6.6M
libcoq-serapi-ocaml_8.20.0+0.20.0-1_ppc64el.deb
2024-11-20 23:31
6.4M
libcoq-serapi-ocaml_8.20.0+0.20.0-1_arm64.deb
2024-11-20 23:31
6.7M
libcoq-serapi-ocaml_8.19.0+0.19.3-4build2_riscv64.deb
2024-09-06 23:59
6.3M
libcoq-serapi-ocaml_8.19.0+0.19.3-4build2_ppc64el.deb
2024-09-06 23:05
6.1M
libcoq-serapi-ocaml_8.19.0+0.19.3-4build2_arm64.deb
2024-09-06 23:59
6.4M
libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1build2_riscv64.deb
2025-02-13 05:32
19M
libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1build2_ppc64el.deb
2025-02-14 16:03
17M
libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1build2_arm64.deb
2025-02-14 16:03
17M
libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1build1_ppc64el.deb
2025-02-01 15:49
17M
libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1build1_arm64.deb
2025-02-01 08:11
17M
libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1_riscv64.deb
2024-11-20 23:31
20M
libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1_ppc64el.deb
2024-11-20 23:31
17M
libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1_arm64.deb
2024-11-20 23:31
17M
libcoq-serapi-ocaml-dev_8.19.0+0.19.3-4build2_riscv64.deb
2024-09-06 23:59
19M
libcoq-serapi-ocaml-dev_8.19.0+0.19.3-4build2_ppc64el.deb
2024-09-06 23:05
17M
libcoq-serapi-ocaml-dev_8.19.0+0.19.3-4build2_arm64.deb
2024-09-06 23:59
16M
coq-serapi_8.20.0+0.20.0.orig.tar.gz
2024-11-20 18:47
178K
coq-serapi_8.20.0+0.20.0-1build2_riscv64.deb
2025-02-13 05:32
35M
coq-serapi_8.20.0+0.20.0-1build2_ppc64el.deb
2025-02-14 16:03
34M
coq-serapi_8.20.0+0.20.0-1build2_arm64.deb
2025-02-14 16:03
40M
coq-serapi_8.20.0+0.20.0-1build2.dsc
2025-02-12 22:46
2.4K
coq-serapi_8.20.0+0.20.0-1build2.debian.tar.xz
2025-02-12 22:46
8.9K
coq-serapi_8.20.0+0.20.0-1build1_ppc64el.deb
2025-02-01 15:49
34M
coq-serapi_8.20.0+0.20.0-1build1_arm64.deb
2025-02-01 08:11
40M
coq-serapi_8.20.0+0.20.0-1_riscv64.deb
2024-11-20 23:31
36M
coq-serapi_8.20.0+0.20.0-1_ppc64el.deb
2024-11-20 23:31
34M
coq-serapi_8.20.0+0.20.0-1_arm64.deb
2024-11-20 23:31
40M
coq-serapi_8.20.0+0.20.0-1.dsc
2024-11-20 18:47
2.4K
coq-serapi_8.20.0+0.20.0-1.debian.tar.xz
2024-11-20 18:47
8.9K
coq-serapi_8.19.0+0.19.3.orig.tar.gz
2024-05-26 17:38
175K
coq-serapi_8.19.0+0.19.3-4build2_riscv64.deb
2024-09-06 23:59
36M
coq-serapi_8.19.0+0.19.3-4build2_ppc64el.deb
2024-09-06 23:05
34M
coq-serapi_8.19.0+0.19.3-4build2_arm64.deb
2024-09-06 23:59
40M
coq-serapi_8.19.0+0.19.3-4build2.dsc
2024-09-06 23:05
2.4K
coq-serapi_8.19.0+0.19.3-4build2.debian.tar.xz
2024-09-06 23:05
10K
Apache/2.4.29 (Ubuntu) Server at ports.ubuntu.com Port 80