Index of /debian/pool/main/c/coq-serapi

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]coq-serapi_8.19.0+0.19.3-2+b1_amd64.deb2024-05-26 14:15 29M 
[ ]coq-serapi_8.19.0+0.19.3-2.debian.tar.xz2024-05-16 16:13 8.7K 
[TXT]coq-serapi_8.19.0+0.19.3-2.dsc2024-05-16 16:13 2.4K 
[ ]coq-serapi_8.19.0+0.19.3-2_arm64.deb2024-05-26 11:52 35M 
[ ]coq-serapi_8.19.0+0.19.3-2_armhf.deb2024-05-26 11:52 28M 
[ ]coq-serapi_8.19.0+0.19.3-2_i386.deb2024-05-26 11:47 26M 
[ ]coq-serapi_8.19.0+0.19.3-2_ppc64el.deb2024-05-26 11:47 29M 
[ ]coq-serapi_8.19.0+0.19.3-2_riscv64.deb2024-05-26 12:12 30M 
[ ]coq-serapi_8.19.0+0.19.3-3.debian.tar.xz2024-06-18 12:01 10K 
[TXT]coq-serapi_8.19.0+0.19.3-3.dsc2024-06-18 12:01 2.4K 
[ ]coq-serapi_8.19.0+0.19.3-3_amd64.deb2024-06-18 12:16 29M 
[ ]coq-serapi_8.19.0+0.19.3-3_arm64.deb2024-06-18 12:16 34M 
[ ]coq-serapi_8.19.0+0.19.3-3_armhf.deb2024-06-18 12:21 28M 
[ ]coq-serapi_8.19.0+0.19.3-3_i386.deb2024-06-18 12:16 27M 
[ ]coq-serapi_8.19.0+0.19.3-3_ppc64el.deb2024-06-18 12:16 29M 
[ ]coq-serapi_8.19.0+0.19.3-3_riscv64.deb2024-06-18 12:42 29M 
[ ]coq-serapi_8.19.0+0.19.3-4.debian.tar.xz2024-08-04 09:53 10K 
[TXT]coq-serapi_8.19.0+0.19.3-4.dsc2024-08-04 09:53 2.2K 
[ ]coq-serapi_8.19.0+0.19.3-4_amd64.deb2024-08-04 10:28 29M 
[ ]coq-serapi_8.19.0+0.19.3-4_arm64.deb2024-08-04 10:23 34M 
[ ]coq-serapi_8.19.0+0.19.3-4_armhf.deb2024-08-04 10:28 28M 
[ ]coq-serapi_8.19.0+0.19.3-4_i386.deb2024-08-04 10:23 27M 
[ ]coq-serapi_8.19.0+0.19.3-4_ppc64el.deb2024-08-04 10:23 29M 
[ ]coq-serapi_8.19.0+0.19.3-4_riscv64.deb2024-08-04 10:59 29M 
[ ]coq-serapi_8.19.0+0.19.3.orig.tar.gz2024-05-16 16:13 175K 
[ ]coq-serapi_8.20.0+0.20.0-1.debian.tar.xz2024-11-20 12:57 8.9K 
[TXT]coq-serapi_8.20.0+0.20.0-1.dsc2024-11-20 12:57 2.4K 
[ ]coq-serapi_8.20.0+0.20.0-1_amd64.deb2024-11-20 17:21 30M 
[ ]coq-serapi_8.20.0+0.20.0-1_arm64.deb2024-11-20 17:57 34M 
[ ]coq-serapi_8.20.0+0.20.0-1_ppc64el.deb2024-11-20 17:57 30M 
[ ]coq-serapi_8.20.0+0.20.0-1_riscv64.deb2024-11-20 19:29 31M 
[ ]coq-serapi_8.20.0+0.20.0.orig.tar.gz2024-11-20 12:57 178K 
[ ]libcoq-serapi-ocaml-dev_8.19.0+0.19.3-2+b1_amd64.deb2024-05-26 14:15 12M 
[ ]libcoq-serapi-ocaml-dev_8.19.0+0.19.3-2_arm64.deb2024-05-26 11:52 12M 
[ ]libcoq-serapi-ocaml-dev_8.19.0+0.19.3-2_armhf.deb2024-05-26 11:52 12M 
[ ]libcoq-serapi-ocaml-dev_8.19.0+0.19.3-2_i386.deb2024-05-26 11:47 12M 
[ ]libcoq-serapi-ocaml-dev_8.19.0+0.19.3-2_ppc64el.deb2024-05-26 11:47 12M 
[ ]libcoq-serapi-ocaml-dev_8.19.0+0.19.3-2_riscv64.deb2024-05-26 12:12 13M 
[ ]libcoq-serapi-ocaml-dev_8.19.0+0.19.3-3_amd64.deb2024-06-18 12:16 13M 
[ ]libcoq-serapi-ocaml-dev_8.19.0+0.19.3-3_arm64.deb2024-06-18 12:16 13M 
[ ]libcoq-serapi-ocaml-dev_8.19.0+0.19.3-3_armhf.deb2024-06-18 12:21 13M 
[ ]libcoq-serapi-ocaml-dev_8.19.0+0.19.3-3_i386.deb2024-06-18 12:16 13M 
[ ]libcoq-serapi-ocaml-dev_8.19.0+0.19.3-3_ppc64el.deb2024-06-18 12:16 13M 
[ ]libcoq-serapi-ocaml-dev_8.19.0+0.19.3-3_riscv64.deb2024-06-18 12:42 14M 
[ ]libcoq-serapi-ocaml-dev_8.19.0+0.19.3-4_amd64.deb2024-08-04 10:28 13M 
[ ]libcoq-serapi-ocaml-dev_8.19.0+0.19.3-4_arm64.deb2024-08-04 10:23 13M 
[ ]libcoq-serapi-ocaml-dev_8.19.0+0.19.3-4_armhf.deb2024-08-04 10:28 13M 
[ ]libcoq-serapi-ocaml-dev_8.19.0+0.19.3-4_i386.deb2024-08-04 10:23 12M 
[ ]libcoq-serapi-ocaml-dev_8.19.0+0.19.3-4_ppc64el.deb2024-08-04 10:23 13M 
[ ]libcoq-serapi-ocaml-dev_8.19.0+0.19.3-4_riscv64.deb2024-08-04 10:59 14M 
[ ]libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1_amd64.deb2024-11-20 17:21 17M 
[ ]libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1_arm64.deb2024-11-20 17:57 17M 
[ ]libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1_ppc64el.deb2024-11-20 17:57 17M 
[ ]libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1_riscv64.deb2024-11-20 19:29 19M 
[ ]libcoq-serapi-ocaml_8.19.0+0.19.3-2+b1_amd64.deb2024-05-26 14:15 5.8M 
[ ]libcoq-serapi-ocaml_8.19.0+0.19.3-2_arm64.deb2024-05-26 11:52 6.1M 
[ ]libcoq-serapi-ocaml_8.19.0+0.19.3-2_armhf.deb2024-05-26 11:52 5.9M 
[ ]libcoq-serapi-ocaml_8.19.0+0.19.3-2_i386.deb2024-05-26 11:47 5.7M 
[ ]libcoq-serapi-ocaml_8.19.0+0.19.3-2_ppc64el.deb2024-05-26 11:47 5.9M 
[ ]libcoq-serapi-ocaml_8.19.0+0.19.3-2_riscv64.deb2024-05-26 12:12 5.9M 
[ ]libcoq-serapi-ocaml_8.19.0+0.19.3-3_amd64.deb2024-06-18 12:16 5.8M 
[ ]libcoq-serapi-ocaml_8.19.0+0.19.3-3_arm64.deb2024-06-18 12:16 6.0M 
[ ]libcoq-serapi-ocaml_8.19.0+0.19.3-3_armhf.deb2024-06-18 12:21 5.8M 
[ ]libcoq-serapi-ocaml_8.19.0+0.19.3-3_i386.deb2024-06-18 12:16 5.7M 
[ ]libcoq-serapi-ocaml_8.19.0+0.19.3-3_ppc64el.deb2024-06-18 12:16 5.8M 
[ ]libcoq-serapi-ocaml_8.19.0+0.19.3-3_riscv64.deb2024-06-18 12:42 5.9M 
[ ]libcoq-serapi-ocaml_8.19.0+0.19.3-4_amd64.deb2024-08-04 10:28 5.8M 
[ ]libcoq-serapi-ocaml_8.19.0+0.19.3-4_arm64.deb2024-08-04 10:23 6.0M 
[ ]libcoq-serapi-ocaml_8.19.0+0.19.3-4_armhf.deb2024-08-04 10:28 5.8M 
[ ]libcoq-serapi-ocaml_8.19.0+0.19.3-4_i386.deb2024-08-04 10:23 5.7M 
[ ]libcoq-serapi-ocaml_8.19.0+0.19.3-4_ppc64el.deb2024-08-04 10:23 5.8M 
[ ]libcoq-serapi-ocaml_8.19.0+0.19.3-4_riscv64.deb2024-08-04 10:59 5.9M 
[ ]libcoq-serapi-ocaml_8.20.0+0.20.0-1_amd64.deb2024-11-20 17:21 6.1M 
[ ]libcoq-serapi-ocaml_8.20.0+0.20.0-1_arm64.deb2024-11-20 17:57 6.3M 
[ ]libcoq-serapi-ocaml_8.20.0+0.20.0-1_ppc64el.deb2024-11-20 17:57 6.1M 
[ ]libcoq-serapi-ocaml_8.20.0+0.20.0-1_riscv64.deb2024-11-20 19:29 6.3M 
Apache/2.4.52 (Ubuntu) Server at mirror.renu.ac.ug Port 443