Index of /mirrors/ftp.debian.org/pool/main/c/coq-serapi
Name
Last modified
Size
Description
Parent Directory
-
coq-serapi_8.19.0+0.19.3-2+b1_amd64.deb
2024-05-26 13:15
29M
coq-serapi_8.19.0+0.19.3-2.debian.tar.xz
2024-05-16 15:13
8.7K
coq-serapi_8.19.0+0.19.3-2.dsc
2024-05-16 15:13
2.4K
coq-serapi_8.19.0+0.19.3-2_arm64.deb
2024-05-26 10:52
35M
coq-serapi_8.19.0+0.19.3-2_armhf.deb
2024-05-26 10:52
28M
coq-serapi_8.19.0+0.19.3-2_i386.deb
2024-05-26 10:47
26M
coq-serapi_8.19.0+0.19.3-2_ppc64el.deb
2024-05-26 10:47
29M
coq-serapi_8.19.0+0.19.3-2_riscv64.deb
2024-05-26 11:12
30M
coq-serapi_8.19.0+0.19.3.orig.tar.gz
2024-05-16 15:13
175K
libcoq-serapi-ocaml-dev_8.19.0+0.19.3-2+b1_amd64.deb
2024-05-26 13:15
12M
libcoq-serapi-ocaml-dev_8.19.0+0.19.3-2_arm64.deb
2024-05-26 10:52
12M
libcoq-serapi-ocaml-dev_8.19.0+0.19.3-2_armhf.deb
2024-05-26 10:52
12M
libcoq-serapi-ocaml-dev_8.19.0+0.19.3-2_i386.deb
2024-05-26 10:47
12M
libcoq-serapi-ocaml-dev_8.19.0+0.19.3-2_ppc64el.deb
2024-05-26 10:47
12M
libcoq-serapi-ocaml-dev_8.19.0+0.19.3-2_riscv64.deb
2024-05-26 11:12
13M
libcoq-serapi-ocaml_8.19.0+0.19.3-2+b1_amd64.deb
2024-05-26 13:15
5.8M
libcoq-serapi-ocaml_8.19.0+0.19.3-2_arm64.deb
2024-05-26 10:52
6.1M
libcoq-serapi-ocaml_8.19.0+0.19.3-2_armhf.deb
2024-05-26 10:52
5.9M
libcoq-serapi-ocaml_8.19.0+0.19.3-2_i386.deb
2024-05-26 10:47
5.7M
libcoq-serapi-ocaml_8.19.0+0.19.3-2_ppc64el.deb
2024-05-26 10:47
5.9M
libcoq-serapi-ocaml_8.19.0+0.19.3-2_riscv64.deb
2024-05-26 11:12
5.9M