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