Index of /pub/Linux/mirrors/ubuntu/archive/pool/universe/c/coq-serapi
Name Last modified Size Description
Parent Directory -
coq-serapi_8.19.0+0.19.3-4build2.debian.tar.xz 2024-09-06 23:05 10K
coq-serapi_8.19.0+0.19.3-4build2.dsc 2024-09-06 23:05 2.4K
coq-serapi_8.19.0+0.19.3-4build2_amd64.deb 2024-09-06 23:05 33M
coq-serapi_8.19.0+0.19.3.orig.tar.gz 2024-05-26 17:38 175K
coq-serapi_8.20.0+0.20.0-1.debian.tar.xz 2024-11-20 18:47 8.9K
coq-serapi_8.20.0+0.20.0-1.dsc 2024-11-20 18:47 2.4K
coq-serapi_8.20.0+0.20.0-1_amd64.deb 2024-11-20 23:31 33M
coq-serapi_8.20.0+0.20.0.orig.tar.gz 2024-11-20 18:47 178K
libcoq-serapi-ocaml-dev_8.19.0+0.19.3-4build2_amd64.deb 2024-09-06 23:05 16M
libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1_amd64.deb 2024-11-20 23:31 17M
libcoq-serapi-ocaml_8.19.0+0.19.3-4build2_amd64.deb 2024-09-06 23:05 6.0M
libcoq-serapi-ocaml_8.20.0+0.20.0-1_amd64.deb 2024-11-20 23:31 6.3M