| ../ |
- |
- |
| coq-serapi_8.20.0+0.20.0-1build3.debian.tar.xz |
9.0 KB |
2025-02-18 21:25 |
| coq-serapi_8.20.0+0.20.0-1build3.dsc |
2.4 KB |
2025-02-18 21:25 |
| coq-serapi_8.20.0+0.20.0-1build3_amd64.deb |
33.1 MB |
2025-02-18 21:25 |
| coq-serapi_8.20.0+0.20.0-1build4.debian.tar.xz |
9.0 KB |
2025-06-19 17:20 |
| coq-serapi_8.20.0+0.20.0-1build4.dsc |
2.4 KB |
2025-06-19 17:20 |
| coq-serapi_8.20.0+0.20.0-1build4_amd64.deb |
33.1 MB |
2025-06-20 04:01 |
| coq-serapi_8.20.0+0.20.0-1build4_arm64.deb |
40.0 MB |
2025-06-20 04:01 |
| coq-serapi_8.20.0+0.20.0.orig.tar.gz |
178.2 KB |
2024-11-20 18:47 |
| libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1build3_amd64.deb |
16.8 MB |
2025-02-18 21:25 |
| libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1build4_amd64.deb |
16.7 MB |
2025-06-20 04:01 |
| libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1build4_arm64.deb |
17.0 MB |
2025-06-20 04:01 |
| libcoq-serapi-ocaml_8.20.0+0.20.0-1build3_amd64.deb |
6.3 MB |
2025-02-18 21:25 |
| libcoq-serapi-ocaml_8.20.0+0.20.0-1build4_amd64.deb |
6.3 MB |
2025-06-20 04:01 |
| libcoq-serapi-ocaml_8.20.0+0.20.0-1build4_arm64.deb |
6.8 MB |
2025-06-20 04:01 |