| Parent Directory | - | - | - |
| coq-serapi_8.20.0+0.20.0-1+b4_amd64.deb | 15-Jun-2025 01:53 | 30M | - |
| coq-serapi_8.20.0+0.20.0-1+b4_arm64.deb | 15-Jun-2025 05:38 | 34M | - |
| coq-serapi_8.20.0+0.20.0-1+b4_ppc64el.deb | 15-Jun-2025 06:18 | 30M | - |
| coq-serapi_8.20.0+0.20.0-1+b4_riscv64.deb | 15-Jun-2025 06:23 | 31M | - |
| coq-serapi_8.20.0+0.20.0-1.debian.tar.xz | 20-Nov-2024 09:57 | 9080 | - |
| coq-serapi_8.20.0+0.20.0-1.dsc | 20-Nov-2024 09:57 | 2490 | - |
| coq-serapi_8.20.0+0.20.0.orig.tar.gz | 20-Nov-2024 09:57 | 178K | - |
| libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1+b4_amd6..> | 15-Jun-2025 01:53 | 17M | - |
| libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1+b4_arm6..> | 15-Jun-2025 05:38 | 17M | - |
| libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1+b4_ppc6..> | 15-Jun-2025 06:18 | 17M | - |
| libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1+b4_risc..> | 15-Jun-2025 06:23 | 18M | - |
| libcoq-serapi-ocaml_8.20.0+0.20.0-1+b4_amd64.deb | 15-Jun-2025 01:53 | 6M | - |
| libcoq-serapi-ocaml_8.20.0+0.20.0-1+b4_arm64.deb | 15-Jun-2025 05:38 | 6M | - |
| libcoq-serapi-ocaml_8.20.0+0.20.0-1+b4_ppc64el.deb | 15-Jun-2025 06:18 | 6M | - |
| libcoq-serapi-ocaml_8.20.0+0.20.0-1+b4_riscv64.deb | 15-Jun-2025 06:23 | 6M | - |