| Filename | Modification time | Size |
|---|---|---|
| coq-serapi_8.19.0+0.19.3-4build2.debian.tar.xz | 10 KiB | |
| coq-serapi_8.19.0+0.19.3-4build2.dsc | 2492 B | |
| coq-serapi_8.19.0+0.19.3-4build2_amd64.deb | 33 MiB | |
| coq-serapi_8.19.0+0.19.3.orig.tar.gz | 175 KiB | |
| coq-serapi_8.20.0+0.20.0-1.debian.tar.xz | 9080 B | |
| coq-serapi_8.20.0+0.20.0-1.dsc | 2490 B | |
| coq-serapi_8.20.0+0.20.0-1_amd64.deb | 33 MiB | |
| coq-serapi_8.20.0+0.20.0.orig.tar.gz | 178 KiB | |
| libcoq-serapi-ocaml-dev_8.19.0+0.19.3-4build2_amd64.deb | 16 MiB | |
| libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1_amd64.deb | 17 MiB | |
| libcoq-serapi-ocaml_8.19.0+0.19.3-4build2_amd64.deb | 6152 KiB | |
| libcoq-serapi-ocaml_8.20.0+0.20.0-1_amd64.deb | 6433 KiB |
Studenten Net Twente
Mirror service
