|
../ |
— |
— |
|
coq-serapi_8.20.0+0.20.0-1.debian.tar.xz |
8.9 KB |
Nov 20, 2024 |
|
coq-serapi_8.20.0+0.20.0-1.dsc |
2.4 KB |
Nov 20, 2024 |
|
coq-serapi_8.20.0+0.20.0-1+b4_amd64.deb |
29.6 MB |
Jun 14, 2025 |
|
coq-serapi_8.20.0+0.20.0-1+b4_arm64.deb |
34.4 MB |
Jun 15, 2025 |
|
coq-serapi_8.20.0+0.20.0-1+b4_ppc64el.deb |
29.6 MB |
Jun 15, 2025 |
|
coq-serapi_8.20.0+0.20.0-1+b4_riscv64.deb |
30.7 MB |
Jun 15, 2025 |
|
coq-serapi_8.20.0+0.20.0.orig.tar.gz |
178.2 KB |
Nov 20, 2024 |
|
libcoq-serapi-ocaml_8.20.0+0.20.0-1+b4_amd64.deb |
6.1 MB |
Jun 14, 2025 |
|
libcoq-serapi-ocaml_8.20.0+0.20.0-1+b4_arm64.deb |
6.3 MB |
Jun 15, 2025 |
|
libcoq-serapi-ocaml_8.20.0+0.20.0-1+b4_ppc64el.deb |
6.1 MB |
Jun 15, 2025 |
|
libcoq-serapi-ocaml_8.20.0+0.20.0-1+b4_riscv64.deb |
6.3 MB |
Jun 15, 2025 |
|
libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1+b4_amd64.deb |
16.6 MB |
Jun 14, 2025 |
|
libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1+b4_arm64.deb |
16.8 MB |
Jun 15, 2025 |
|
libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1+b4_ppc64el.deb |
16.9 MB |
Jun 15, 2025 |
|
libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1+b4_riscv64.deb |
18.4 MB |
Jun 15, 2025 |