| Parent directory/ | - | - |
| coq-serapi_8.20.0+0.20.0-1build3.debian.tar.xz | 9212 | 18-Feb-2025 21:25 |
| coq-serapi_8.20.0+0.20.0-1build3.dsc | 2489 | 18-Feb-2025 21:25 |
| coq-serapi_8.20.0+0.20.0-1build3_amd64.deb | 33M | 18-Feb-2025 21:25 |
| coq-serapi_8.20.0+0.20.0-1build4.debian.tar.xz | 9240 | 19-Jun-2025 17:20 |
| coq-serapi_8.20.0+0.20.0-1build4.dsc | 2489 | 19-Jun-2025 17:20 |
| coq-serapi_8.20.0+0.20.0-1build4_amd64.deb | 33M | 20-Jun-2025 04:01 |
| coq-serapi_8.20.0+0.20.0.orig.tar.gz | 178K | 20-Nov-2024 18:47 |
| libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1build3_a..> | 17M | 18-Feb-2025 21:25 |
| libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1build4_a..> | 17M | 20-Jun-2025 04:01 |
| libcoq-serapi-ocaml_8.20.0+0.20.0-1build3_amd64..> | 6M | 18-Feb-2025 21:25 |
| libcoq-serapi-ocaml_8.20.0+0.20.0-1build4_amd64..> | 6M | 20-Jun-2025 04:01 |