Name Last modified Size Description![[PARENTDIR]](/strapdown/icons/glyphicon-circle-arrow-up.svg){kind=icon}
Parent Directory -
![[TXT]](/strapdown/icons/glyphicon-file.svg){kind=icon}
coq-serapi_8.20.0+0.20.0-1.dsc 2024-11-20 10:57 2.4K
coq-serapi_8.20.0+0.20.0-1.debian.tar.xz 2024-11-20 10:57 8.9K
![[ ]](/icons/compressed.gif){kind=icon}
coq-serapi_8.20.0+0.20.0.orig.tar.gz 2024-11-20 10:57 178K
libcoq-serapi-ocaml_8.20.0+0.20.0-1_amd64.deb 2024-11-20 15:21 6.1M
libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1_amd64.deb 2024-11-20 15:21 17M
coq-serapi_8.20.0+0.20.0-1_amd64.deb 2024-11-20 15:21 30M