Index of /ubuntu/pool/universe/c/coq-serapi
Name
Last modified
Size
Description
Parent Directory
-
coq-serapi_8.19.0+0.19.3-4.debian.tar.xz
2024-08-04 14:34
10K
coq-serapi_8.19.0+0.19.3-4.dsc
2024-08-04 14:34
2.2K
coq-serapi_8.19.0+0.19.3-4_amd64.deb
2024-08-04 14:34
32M
coq-serapi_8.19.0+0.19.3-4build2.debian.tar.xz
2024-09-07 02:05
10K
coq-serapi_8.19.0+0.19.3-4build2.dsc
2024-09-07 02:05
2.4K
coq-serapi_8.19.0+0.19.3-4build2_amd64.deb
2024-09-07 02:05
33M
coq-serapi_8.19.0+0.19.3.orig.tar.gz
2024-05-26 20:38
175K
coq-serapi_8.20.0+0.20.0-1.debian.tar.xz
2024-11-20 21:47
8.9K
coq-serapi_8.20.0+0.20.0-1.dsc
2024-11-20 21:47
2.4K
coq-serapi_8.20.0+0.20.0-1_amd64.deb
2024-11-21 02:31
33M
coq-serapi_8.20.0+0.20.0-1build3.debian.tar.xz
2025-02-19 00:25
9.0K
coq-serapi_8.20.0+0.20.0-1build3.dsc
2025-02-19 00:25
2.4K
coq-serapi_8.20.0+0.20.0-1build3_amd64.deb
2025-02-19 00:25
33M
coq-serapi_8.20.0+0.20.0.orig.tar.gz
2024-11-20 21:47
178K
libcoq-serapi-ocaml-dev_8.19.0+0.19.3-4_amd64.deb
2024-08-04 14:34
15M
libcoq-serapi-ocaml-dev_8.19.0+0.19.3-4build2_amd64.deb
2024-09-07 02:05
16M
libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1_amd64.deb
2024-11-21 02:31
17M
libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1build3_amd64.deb
2025-02-19 00:25
17M
libcoq-serapi-ocaml_8.19.0+0.19.3-4_amd64.deb
2024-08-04 14:34
6.8M
libcoq-serapi-ocaml_8.19.0+0.19.3-4build2_amd64.deb
2024-09-07 02:05
6.0M
libcoq-serapi-ocaml_8.20.0+0.20.0-1_amd64.deb
2024-11-21 02:31
6.3M
libcoq-serapi-ocaml_8.20.0+0.20.0-1build3_amd64.deb
2025-02-19 00:25
6.3M
Apache/2.4.52 (Ubuntu) Server at mirror.renu.ac.ug Port 443