Index of /sites/raspbian.org/raspbian/pool/main/c/coq-serapi
Name Last modified Size Description
![[PARENTDIR]](/strapdown/icons/glyphicon-circle-arrow-up.svg)
Parent Directory -
![[ ]](/strapdown/icons/glyphicon-file.svg)
coq-serapi_8.19.0+0.19.3-3.debian.tar.xz 2024-06-18 11:01 10K
coq-serapi_8.19.0+0.19.3-3.dsc 2024-06-18 11:01 2.4K
coq-serapi_8.19.0+0.19.3-3_armhf.deb 2024-06-25 04:39 26M
coq-serapi_8.19.0+0.19.3-4.debian.tar.xz 2024-08-04 08:53 10K
coq-serapi_8.19.0+0.19.3-4.dsc 2024-08-04 08:53 2.2K
![[ ]](/icons/compressed.gif)
coq-serapi_8.19.0+0.19.3.orig.tar.gz 2024-05-16 15:13 175K
coq-serapi_8.20.0+0.20.0-1.debian.tar.xz 2024-11-20 10:57 8.9K
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.orig.tar.gz 2024-11-20 10:57 178K
libcoq-serapi-ocaml-dev_8.19.0+0.19.3-3_armhf.deb 2024-06-25 04:39 13M
libcoq-serapi-ocaml_8.19.0+0.19.3-3_armhf.deb 2024-06-25 04:39 5.8M