Index of /sites/debian.org/debian/pool/main/c/coq-serapi
Name Last modified Size Description
Parent Directory -
coq-serapi_8.20.0+0.20.0-1+b2_amd64.deb 2025-02-13 06:22 30M
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.20.0+0.20.0-1+b2_amd64.deb 2025-02-13 06:22 17M
libcoq-serapi-ocaml_8.20.0+0.20.0-1+b2_amd64.deb 2025-02-13 06:22 6.1M