WSU VCEA Linux Mirror Server

mirrors.vcea.wsu.edu

Welcome, if you encounter problems please let us know at linux.mirror.admin at vcea.wsu.edu

Per WSU network policies, attempts to download torrent metadata files over HTTP will fail, apologies.

Index of /ubuntu/pool/universe/c/coq-serapi

[ICO]NameLast modifiedSize
[PARENTDIR]Parent Directory  -
[ ]coq-serapi_8.20.0+0.20.0.orig.tar.gz2024-11-20 10:47 178K
[ ]coq-serapi_8.20.0+0.20.0-1build3.debian.tar.xz2025-02-18 13:25 9.0K
[TXT]coq-serapi_8.20.0+0.20.0-1build3.dsc2025-02-18 13:25 2.4K
[ ]libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1build3_amd64.deb2025-02-18 13:25 17M
[ ]libcoq-serapi-ocaml_8.20.0+0.20.0-1build3_amd64.deb2025-02-18 13:25 6.3M
[ ]coq-serapi_8.20.0+0.20.0-1build3_amd64.deb2025-02-18 13:25 33M
[ ]coq-serapi_8.20.0+0.20.0-1build4.debian.tar.xz2025-06-19 10:20 9.0K
[TXT]coq-serapi_8.20.0+0.20.0-1build4.dsc2025-06-19 10:20 2.4K
[ ]libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1build4_amd64.deb2025-06-19 21:01 17M
[ ]libcoq-serapi-ocaml_8.20.0+0.20.0-1build4_amd64.deb2025-06-19 21:01 6.3M
[ ]coq-serapi_8.20.0+0.20.0-1build4_amd64.deb2025-06-19 21:01 33M