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