Index of /debian/pool/main/c/coq-serapi/
name
size
date
coq-serapi_8.20.0+0.20.0-1+b4_riscv64.deb
30.72M
2025-06-15 06:23:32
libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1+b4_riscv64.deb
18.44M
2025-06-15 06:23:32
libcoq-serapi-ocaml_8.20.0+0.20.0-1+b4_riscv64.deb
6.31M
2025-06-15 06:23:32
coq-serapi_8.20.0+0.20.0-1+b4_ppc64el.deb
29.57M
2025-06-15 06:18:28
libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1+b4_ppc64el.deb
16.95M
2025-06-15 06:18:28
libcoq-serapi-ocaml_8.20.0+0.20.0-1+b4_ppc64el.deb
6.12M
2025-06-15 06:18:28
coq-serapi_8.20.0+0.20.0-1+b4_arm64.deb
34.39M
2025-06-15 05:38:06
libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1+b4_arm64.deb
16.76M
2025-06-15 05:38:06
libcoq-serapi-ocaml_8.20.0+0.20.0-1+b4_arm64.deb
6.35M
2025-06-15 05:38:06
coq-serapi_8.20.0+0.20.0-1+b4_amd64.deb
29.61M
2025-06-15 01:53:14
libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1+b4_amd64.deb
16.59M
2025-06-15 01:53:14
libcoq-serapi-ocaml_8.20.0+0.20.0-1+b4_amd64.deb
6.10M
2025-06-15 01:53:14
coq-serapi_8.20.0+0.20.0-1.debian.tar.xz
8.9K
2024-11-20 09:57:49
coq-serapi_8.20.0+0.20.0-1.dsc
2.4K
2024-11-20 09:57:49
coq-serapi_8.20.0+0.20.0.orig.tar.gz
178.2K
2024-11-20 09:57:49