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 07:15 29M 
[ ]coq-serapi_8.19.0+0.19.3-2.debian.tar.xz2024-05-16 09:13 8.7K 
[TXT]coq-serapi_8.19.0+0.19.3-2.dsc2024-05-16 09:13 2.4K 
[ ]coq-serapi_8.19.0+0.19.3-2_amd64.deb2024-05-16 09:13 29M 
[ ]coq-serapi_8.19.0+0.19.3-2_arm64.deb2024-05-26 04:52 35M 
[ ]coq-serapi_8.19.0+0.19.3-2_armhf.deb2024-05-26 04:52 28M 
[ ]coq-serapi_8.19.0+0.19.3-2_i386.deb2024-05-26 04:47 26M 
[ ]coq-serapi_8.19.0+0.19.3-2_ppc64el.deb2024-05-26 04:47 29M 
[ ]coq-serapi_8.19.0+0.19.3-2_riscv64.deb2024-05-26 05:12 30M 
[ ]coq-serapi_8.19.0+0.19.3-3.debian.tar.xz2024-06-18 05:01 10K 
[TXT]coq-serapi_8.19.0+0.19.3-3.dsc2024-06-18 05:01 2.4K 
[ ]coq-serapi_8.19.0+0.19.3-3_amd64.deb2024-06-18 05:16 29M 
[ ]coq-serapi_8.19.0+0.19.3-3_arm64.deb2024-06-18 05:16 34M 
[ ]coq-serapi_8.19.0+0.19.3-3_armhf.deb2024-06-18 05:21 28M 
[ ]coq-serapi_8.19.0+0.19.3-3_i386.deb2024-06-18 05:16 27M 
[ ]coq-serapi_8.19.0+0.19.3-3_ppc64el.deb2024-06-18 05:16 29M 
[ ]coq-serapi_8.19.0+0.19.3-3_riscv64.deb2024-06-18 05:42 29M 
[ ]coq-serapi_8.19.0+0.19.3-4+b1_amd64.deb2024-08-08 14:29 30M 
[ ]coq-serapi_8.19.0+0.19.3-4+b1_arm64.deb2024-08-08 14:29 34M 
[ ]coq-serapi_8.19.0+0.19.3-4+b1_ppc64el.deb2024-08-08 13:53 30M 
[ ]coq-serapi_8.19.0+0.19.3-4+b1_riscv64.deb2024-08-08 18:32 31M 
[ ]coq-serapi_8.19.0+0.19.3-4+b2_amd64.deb2024-08-20 23:54 30M 
[ ]coq-serapi_8.19.0+0.19.3-4+b2_arm64.deb2024-08-20 23:59 34M 
[ ]coq-serapi_8.19.0+0.19.3-4+b2_ppc64el.deb2024-08-20 23:54 30M 
[ ]coq-serapi_8.19.0+0.19.3-4+b2_riscv64.deb2024-08-21 01:46 31M 
[ ]coq-serapi_8.19.0+0.19.3-4+b3_ppc64el.deb2024-08-30 11:15 30M 
[ ]coq-serapi_8.19.0+0.19.3-4.debian.tar.xz2024-08-04 02:53 10K 
[TXT]coq-serapi_8.19.0+0.19.3-4.dsc2024-08-04 02:53 2.2K 
[ ]coq-serapi_8.19.0+0.19.3-4_amd64.deb2024-08-04 03:28 29M 
[ ]coq-serapi_8.19.0+0.19.3-4_arm64.deb2024-08-04 03:23 34M 
[ ]coq-serapi_8.19.0+0.19.3-4_armhf.deb2024-08-04 03:28 28M 
[ ]coq-serapi_8.19.0+0.19.3-4_i386.deb2024-08-04 03:23 27M 
[ ]coq-serapi_8.19.0+0.19.3-4_ppc64el.deb2024-08-04 03:23 29M 
[ ]coq-serapi_8.19.0+0.19.3-4_riscv64.deb2024-08-04 03:59 29M 
[ ]coq-serapi_8.19.0+0.19.3.orig.tar.gz2024-05-16 09:13 175K 
[ ]coq-serapi_8.20.0+0.20.0-1+b1_amd64.deb2025-01-28 12:37 30M 
[ ]coq-serapi_8.20.0+0.20.0-1+b1_arm64.deb2025-01-28 17:02 34M 
[ ]coq-serapi_8.20.0+0.20.0-1+b1_ppc64el.deb2025-01-28 11:34 30M 
[ ]coq-serapi_8.20.0+0.20.0-1+b1_riscv64.deb2025-01-29 07:11 31M 
[ ]coq-serapi_8.20.0+0.20.0-1+b2_amd64.deb2025-02-13 00:22 30M 
[ ]coq-serapi_8.20.0+0.20.0-1+b2_arm64.deb2025-02-13 00:23 34M 
[ ]coq-serapi_8.20.0+0.20.0-1+b2_ppc64el.deb2025-02-13 00:23 30M 
[ ]coq-serapi_8.20.0+0.20.0-1+b2_riscv64.deb2025-02-13 02:56 31M 
[ ]coq-serapi_8.20.0+0.20.0-1+b3_amd64.deb2025-02-18 20:17 30M 
[ ]coq-serapi_8.20.0+0.20.0-1+b3_arm64.deb2025-02-18 20:22 34M 
[ ]coq-serapi_8.20.0+0.20.0-1+b3_ppc64el.deb2025-02-18 20:17 30M 
[ ]coq-serapi_8.20.0+0.20.0-1+b3_riscv64.deb2025-02-18 20:43 31M 
[ ]coq-serapi_8.20.0+0.20.0-1+b4_amd64.deb2025-06-14 21:53 30M 
[ ]coq-serapi_8.20.0+0.20.0-1+b4_arm64.deb2025-06-15 01:38 34M 
[ ]coq-serapi_8.20.0+0.20.0-1+b4_ppc64el.deb2025-06-15 02:18 30M 
[ ]coq-serapi_8.20.0+0.20.0-1+b4_riscv64.deb2025-06-15 02:23 31M 
[ ]coq-serapi_8.20.0+0.20.0-1.debian.tar.xz2024-11-20 04:57 8.9K 
[TXT]coq-serapi_8.20.0+0.20.0-1.dsc2024-11-20 04:57 2.4K 
[ ]coq-serapi_8.20.0+0.20.0-1_amd64.deb2024-11-20 09:21 30M 
[ ]coq-serapi_8.20.0+0.20.0-1_arm64.deb2024-11-20 09:57 34M 
[ ]coq-serapi_8.20.0+0.20.0-1_ppc64el.deb2024-11-20 09:57 30M 
[ ]coq-serapi_8.20.0+0.20.0-1_riscv64.deb2024-11-20 11:29 31M 
[ ]coq-serapi_8.20.0+0.20.0.orig.tar.gz2024-11-20 04:57 178K 
[ ]libcoq-serapi-ocaml-dev_8.19.0+0.19.3-2+b1_amd64.deb2024-05-26 07:15 12M 
[ ]libcoq-serapi-ocaml-dev_8.19.0+0.19.3-2_amd64.deb2024-05-16 09:13 12M 
[ ]libcoq-serapi-ocaml-dev_8.19.0+0.19.3-2_arm64.deb2024-05-26 04:52 12M 
[ ]libcoq-serapi-ocaml-dev_8.19.0+0.19.3-2_armhf.deb2024-05-26 04:52 12M 
[ ]libcoq-serapi-ocaml-dev_8.19.0+0.19.3-2_i386.deb2024-05-26 04:47 12M 
[ ]libcoq-serapi-ocaml-dev_8.19.0+0.19.3-2_ppc64el.deb2024-05-26 04:47 12M 
[ ]libcoq-serapi-ocaml-dev_8.19.0+0.19.3-2_riscv64.deb2024-05-26 05:12 13M 
[ ]libcoq-serapi-ocaml-dev_8.19.0+0.19.3-3_amd64.deb2024-06-18 05:16 13M 
[ ]libcoq-serapi-ocaml-dev_8.19.0+0.19.3-3_arm64.deb2024-06-18 05:16 13M 
[ ]libcoq-serapi-ocaml-dev_8.19.0+0.19.3-3_armhf.deb2024-06-18 05:21 13M 
[ ]libcoq-serapi-ocaml-dev_8.19.0+0.19.3-3_i386.deb2024-06-18 05:16 13M 
[ ]libcoq-serapi-ocaml-dev_8.19.0+0.19.3-3_ppc64el.deb2024-06-18 05:16 13M 
[ ]libcoq-serapi-ocaml-dev_8.19.0+0.19.3-3_riscv64.deb2024-06-18 05:42 14M 
[ ]libcoq-serapi-ocaml-dev_8.19.0+0.19.3-4+b1_amd64.deb2024-08-08 14:29 16M 
[ ]libcoq-serapi-ocaml-dev_8.19.0+0.19.3-4+b1_arm64.deb2024-08-08 14:29 16M 
[ ]libcoq-serapi-ocaml-dev_8.19.0+0.19.3-4+b1_ppc64el.deb2024-08-08 13:53 16M 
[ ]libcoq-serapi-ocaml-dev_8.19.0+0.19.3-4+b1_riscv64.deb2024-08-08 18:32 18M 
[ ]libcoq-serapi-ocaml-dev_8.19.0+0.19.3-4+b2_amd64.deb2024-08-20 23:54 16M 
[ ]libcoq-serapi-ocaml-dev_8.19.0+0.19.3-4+b2_arm64.deb2024-08-20 23:59 16M 
[ ]libcoq-serapi-ocaml-dev_8.19.0+0.19.3-4+b2_ppc64el.deb2024-08-20 23:54 16M 
[ ]libcoq-serapi-ocaml-dev_8.19.0+0.19.3-4+b2_riscv64.deb2024-08-21 01:46 18M 
[ ]libcoq-serapi-ocaml-dev_8.19.0+0.19.3-4+b3_ppc64el.deb2024-08-30 11:15 16M 
[ ]libcoq-serapi-ocaml-dev_8.19.0+0.19.3-4_amd64.deb2024-08-04 03:28 13M 
[ ]libcoq-serapi-ocaml-dev_8.19.0+0.19.3-4_arm64.deb2024-08-04 03:23 13M 
[ ]libcoq-serapi-ocaml-dev_8.19.0+0.19.3-4_armhf.deb2024-08-04 03:28 13M 
[ ]libcoq-serapi-ocaml-dev_8.19.0+0.19.3-4_i386.deb2024-08-04 03:23 12M 
[ ]libcoq-serapi-ocaml-dev_8.19.0+0.19.3-4_ppc64el.deb2024-08-04 03:23 13M 
[ ]libcoq-serapi-ocaml-dev_8.19.0+0.19.3-4_riscv64.deb2024-08-04 03:59 14M 
[ ]libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1+b1_amd64.deb2025-01-28 12:37 17M 
[ ]libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1+b1_arm64.deb2025-01-28 17:02 17M 
[ ]libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1+b1_ppc64el.deb2025-01-28 11:34 17M 
[ ]libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1+b1_riscv64.deb2025-01-29 07:11 18M 
[ ]libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1+b2_amd64.deb2025-02-13 00:22 17M 
[ ]libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1+b2_arm64.deb2025-02-13 00:23 17M 
[ ]libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1+b2_ppc64el.deb2025-02-13 00:23 17M 
[ ]libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1+b2_riscv64.deb2025-02-13 02:56 18M 
[ ]libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1+b3_amd64.deb2025-02-18 20:17 17M 
[ ]libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1+b3_arm64.deb2025-02-18 20:22 17M 
[ ]libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1+b3_ppc64el.deb2025-02-18 20:17 17M 
[ ]libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1+b3_riscv64.deb2025-02-18 20:43 18M 
[ ]libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1+b4_amd64.deb2025-06-14 21:53 17M 
[ ]libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1+b4_arm64.deb2025-06-15 01:38 17M 
[ ]libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1+b4_ppc64el.deb2025-06-15 02:18 17M 
[ ]libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1+b4_riscv64.deb2025-06-15 02:23 18M 
[ ]libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1_amd64.deb2024-11-20 09:21 17M 
[ ]libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1_arm64.deb2024-11-20 09:57 17M 
[ ]libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1_ppc64el.deb2024-11-20 09:57 17M 
[ ]libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1_riscv64.deb2024-11-20 11:29 19M 
[ ]libcoq-serapi-ocaml_8.19.0+0.19.3-2+b1_amd64.deb2024-05-26 07:15 5.8M 
[ ]libcoq-serapi-ocaml_8.19.0+0.19.3-2_amd64.deb2024-05-16 09:13 5.8M 
[ ]libcoq-serapi-ocaml_8.19.0+0.19.3-2_arm64.deb2024-05-26 04:52 6.1M 
[ ]libcoq-serapi-ocaml_8.19.0+0.19.3-2_armhf.deb2024-05-26 04:52 5.9M 
[ ]libcoq-serapi-ocaml_8.19.0+0.19.3-2_i386.deb2024-05-26 04:47 5.7M 
[ ]libcoq-serapi-ocaml_8.19.0+0.19.3-2_ppc64el.deb2024-05-26 04:47 5.9M 
[ ]libcoq-serapi-ocaml_8.19.0+0.19.3-2_riscv64.deb2024-05-26 05:12 5.9M 
[ ]libcoq-serapi-ocaml_8.19.0+0.19.3-3_amd64.deb2024-06-18 05:16 5.8M 
[ ]libcoq-serapi-ocaml_8.19.0+0.19.3-3_arm64.deb2024-06-18 05:16 6.0M 
[ ]libcoq-serapi-ocaml_8.19.0+0.19.3-3_armhf.deb2024-06-18 05:21 5.8M 
[ ]libcoq-serapi-ocaml_8.19.0+0.19.3-3_i386.deb2024-06-18 05:16 5.7M 
[ ]libcoq-serapi-ocaml_8.19.0+0.19.3-3_ppc64el.deb2024-06-18 05:16 5.8M 
[ ]libcoq-serapi-ocaml_8.19.0+0.19.3-3_riscv64.deb2024-06-18 05:42 5.9M 
[ ]libcoq-serapi-ocaml_8.19.0+0.19.3-4+b1_amd64.deb2024-08-08 14:29 5.8M 
[ ]libcoq-serapi-ocaml_8.19.0+0.19.3-4+b1_arm64.deb2024-08-08 14:29 6.1M 
[ ]libcoq-serapi-ocaml_8.19.0+0.19.3-4+b1_ppc64el.deb2024-08-08 13:53 5.9M 
[ ]libcoq-serapi-ocaml_8.19.0+0.19.3-4+b1_riscv64.deb2024-08-08 18:32 6.0M 
[ ]libcoq-serapi-ocaml_8.19.0+0.19.3-4+b2_amd64.deb2024-08-20 23:54 5.8M 
[ ]libcoq-serapi-ocaml_8.19.0+0.19.3-4+b2_arm64.deb2024-08-20 23:59 6.1M 
[ ]libcoq-serapi-ocaml_8.19.0+0.19.3-4+b2_ppc64el.deb2024-08-20 23:54 5.9M 
[ ]libcoq-serapi-ocaml_8.19.0+0.19.3-4+b2_riscv64.deb2024-08-21 01:46 6.0M 
[ ]libcoq-serapi-ocaml_8.19.0+0.19.3-4+b3_ppc64el.deb2024-08-30 11:15 5.8M 
[ ]libcoq-serapi-ocaml_8.19.0+0.19.3-4_amd64.deb2024-08-04 03:28 5.8M 
[ ]libcoq-serapi-ocaml_8.19.0+0.19.3-4_arm64.deb2024-08-04 03:23 6.0M 
[ ]libcoq-serapi-ocaml_8.19.0+0.19.3-4_armhf.deb2024-08-04 03:28 5.8M 
[ ]libcoq-serapi-ocaml_8.19.0+0.19.3-4_i386.deb2024-08-04 03:23 5.7M 
[ ]libcoq-serapi-ocaml_8.19.0+0.19.3-4_ppc64el.deb2024-08-04 03:23 5.8M 
[ ]libcoq-serapi-ocaml_8.19.0+0.19.3-4_riscv64.deb2024-08-04 03:59 5.9M 
[ ]libcoq-serapi-ocaml_8.20.0+0.20.0-1+b1_amd64.deb2025-01-28 12:37 6.1M 
[ ]libcoq-serapi-ocaml_8.20.0+0.20.0-1+b1_arm64.deb2025-01-28 17:02 6.3M 
[ ]libcoq-serapi-ocaml_8.20.0+0.20.0-1+b1_ppc64el.deb2025-01-28 11:34 6.1M 
[ ]libcoq-serapi-ocaml_8.20.0+0.20.0-1+b1_riscv64.deb2025-01-29 07:11 6.3M 
[ ]libcoq-serapi-ocaml_8.20.0+0.20.0-1+b2_amd64.deb2025-02-13 00:22 6.1M 
[ ]libcoq-serapi-ocaml_8.20.0+0.20.0-1+b2_arm64.deb2025-02-13 00:23 6.3M 
[ ]libcoq-serapi-ocaml_8.20.0+0.20.0-1+b2_ppc64el.deb2025-02-13 00:23 6.1M 
[ ]libcoq-serapi-ocaml_8.20.0+0.20.0-1+b2_riscv64.deb2025-02-13 02:56 6.3M 
[ ]libcoq-serapi-ocaml_8.20.0+0.20.0-1+b3_amd64.deb2025-02-18 20:17 6.1M 
[ ]libcoq-serapi-ocaml_8.20.0+0.20.0-1+b3_arm64.deb2025-02-18 20:22 6.3M 
[ ]libcoq-serapi-ocaml_8.20.0+0.20.0-1+b3_ppc64el.deb2025-02-18 20:17 6.1M 
[ ]libcoq-serapi-ocaml_8.20.0+0.20.0-1+b3_riscv64.deb2025-02-18 20:43 6.3M 
[ ]libcoq-serapi-ocaml_8.20.0+0.20.0-1+b4_amd64.deb2025-06-14 21:53 6.1M 
[ ]libcoq-serapi-ocaml_8.20.0+0.20.0-1+b4_arm64.deb2025-06-15 01:38 6.3M 
[ ]libcoq-serapi-ocaml_8.20.0+0.20.0-1+b4_ppc64el.deb2025-06-15 02:18 6.1M 
[ ]libcoq-serapi-ocaml_8.20.0+0.20.0-1+b4_riscv64.deb2025-06-15 02:23 6.3M 
[ ]libcoq-serapi-ocaml_8.20.0+0.20.0-1_amd64.deb2024-11-20 09:21 6.1M 
[ ]libcoq-serapi-ocaml_8.20.0+0.20.0-1_arm64.deb2024-11-20 09:57 6.3M 
[ ]libcoq-serapi-ocaml_8.20.0+0.20.0-1_ppc64el.deb2024-11-20 09:57 6.1M 
[ ]libcoq-serapi-ocaml_8.20.0+0.20.0-1_riscv64.deb2024-11-20 11:29 6.3M