| ⬆️Parent directory | — | — |
| 📦coq-serapi_8.20.0+0.20.0-1build3.debian.tar.xz | 9K | Wed Feb 19 2025 |
| 📄coq-serapi_8.20.0+0.20.0-1build3.dsc | 2.44K | Wed Feb 19 2025 |
| 📦coq-serapi_8.20.0+0.20.0-1build3_amd64.deb | 33.2M | Wed Feb 19 2025 |
| 📦coq-serapi_8.20.0+0.20.0-1build4.debian.tar.xz | 9.03K | Fri Jun 20 2025 |
| 📄coq-serapi_8.20.0+0.20.0-1build4.dsc | 2.44K | Fri Jun 20 2025 |
| 📦coq-serapi_8.20.0+0.20.0-1build4_amd64.deb | 33.1M | Fri Jun 20 2025 |
| 📦coq-serapi_8.20.0+0.20.0.orig.tar.gz | 179K | Thu Nov 21 2024 |
| 📦libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1build3_amd64.deb | 16.8M | Wed Feb 19 2025 |
| 📦libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1build4_amd64.deb | 16.8M | Fri Jun 20 2025 |
| 📦libcoq-serapi-ocaml_8.20.0+0.20.0-1build3_amd64.deb | 6.31M | Wed Feb 19 2025 |
| 📦libcoq-serapi-ocaml_8.20.0+0.20.0-1build4_amd64.deb | 6.31M | Fri Jun 20 2025 |