Filename | Modified | Size | Type |
---|---|---|---|
[Parent Directory] | - | - | - |
coq-serapi_8.19.0+0.19.3.orig.tar.gz | 26/05/24 17:3826/05/24 | 175 KiB | [Save][Download] |
coq-serapi_8.19.0+0.19.3-4build2.debian.tar.xz | 06/09/24 23:0506/09/24 | 10.2 KiB | [Save][Download] |
coq-serapi_8.19.0+0.19.3-4build2.dsc | 06/09/24 23:0506/09/24 | 2.4 KiB | [Save][Download] |
coq-serapi_8.19.0+0.19.3-4build2_amd64.deb | 06/09/24 23:0506/09/24 | 33.3 MiB | [Save][Download] |
libcoq-serapi-ocaml-dev_8.19.0+0.19.3-4build2_amd64.deb | 06/09/24 23:0506/09/24 | 16.1 MiB | [Save][Download] |
libcoq-serapi-ocaml_8.19.0+0.19.3-4build2_amd64.deb | 06/09/24 23:0506/09/24 | 6 MiB | [Save][Download] |