Index of /ubuntuarchive/pool/universe/c/coq-serapi
Name
Last modified
Size
Description
Parent Directory
-
coq-serapi_8.19.0+0.19.3-4build2.debian.tar.xz
07-Sep-2024 03:05
10K
coq-serapi_8.19.0+0.19.3-4build2.dsc
07-Sep-2024 03:05
2.4K
coq-serapi_8.19.0+0.19.3-4build2_amd64.deb
07-Sep-2024 03:05
33M
coq-serapi_8.19.0+0.19.3.orig.tar.gz
26-May-2024 21:38
175K
coq-serapi_8.20.0+0.20.0-1build3.debian.tar.xz
19-Feb-2025 01:25
9.0K
coq-serapi_8.20.0+0.20.0-1build3.dsc
19-Feb-2025 01:25
2.4K
coq-serapi_8.20.0+0.20.0-1build3_amd64.deb
19-Feb-2025 01:25
33M
coq-serapi_8.20.0+0.20.0-1build4.debian.tar.xz
19-Jun-2025 21:20
9.0K
coq-serapi_8.20.0+0.20.0-1build4.dsc
19-Jun-2025 21:20
2.4K
coq-serapi_8.20.0+0.20.0-1build4_amd64.deb
20-Jun-2025 08:01
33M
coq-serapi_8.20.0+0.20.0.orig.tar.gz
20-Nov-2024 22:47
178K
libcoq-serapi-ocaml-dev_8.19.0+0.19.3-4build2_amd64.deb
07-Sep-2024 03:05
16M
libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1build3_amd64.deb
19-Feb-2025 01:25
17M
libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1build4_amd64.deb
20-Jun-2025 08:01
17M
libcoq-serapi-ocaml_8.19.0+0.19.3-4build2_amd64.deb
07-Sep-2024 03:05
6.0M
libcoq-serapi-ocaml_8.20.0+0.20.0-1build3_amd64.deb
19-Feb-2025 01:25
6.3M
libcoq-serapi-ocaml_8.20.0+0.20.0-1build4_amd64.deb
20-Jun-2025 08:01
6.3M
Apache/2.2.15 (Red Hat) Server at mirror.squ.edu.om Port 80