|
../ |
— |
— |
|
coq-serapi_8.20.0+0.20.0-1build3_amd64.deb |
33.1 MB |
Feb 18, 2025 |
|
coq-serapi_8.20.0+0.20.0-1build3.debian.tar.xz |
9 KB |
Feb 18, 2025 |
|
coq-serapi_8.20.0+0.20.0-1build3.dsc |
2.4 KB |
Feb 18, 2025 |
|
coq-serapi_8.20.0+0.20.0-1build4_amd64.deb |
33.1 MB |
Jun 20, 2025 |
|
coq-serapi_8.20.0+0.20.0-1build4.debian.tar.xz |
9 KB |
Jun 19, 2025 |
|
coq-serapi_8.20.0+0.20.0-1build4.dsc |
2.4 KB |
Jun 19, 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-1build3_amd64.deb |
6.3 MB |
Feb 18, 2025 |
|
libcoq-serapi-ocaml_8.20.0+0.20.0-1build4_amd64.deb |
6.3 MB |
Jun 20, 2025 |
|
libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1build3_amd64.deb |
16.8 MB |
Feb 18, 2025 |
|
libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1build4_amd64.deb |
16.7 MB |
Jun 20, 2025 |