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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]coq-elpi_1.13.0-1.debian.tar.xz2022-02-10 12:24 2.5K 
[TXT]coq-elpi_1.13.0-1.dsc2022-02-10 12:24 2.0K 
[ ]coq-elpi_1.13.0-2.debian.tar.xz2022-03-23 17:37 2.7K 
[TXT]coq-elpi_1.13.0-2.dsc2022-03-23 17:37 2.0K 
[ ]coq-elpi_1.13.0-3.debian.tar.xz2022-04-01 10:06 2.8K 
[TXT]coq-elpi_1.13.0-3.dsc2022-04-01 10:06 2.1K 
[ ]coq-elpi_1.13.0-4.debian.tar.xz2022-04-11 03:23 2.9K 
[TXT]coq-elpi_1.13.0-4.dsc2022-04-11 03:23 2.1K 
[ ]coq-elpi_1.13.0-5.debian.tar.xz2022-04-13 03:10 2.9K 
[TXT]coq-elpi_1.13.0-5.dsc2022-04-13 03:10 2.1K 
[ ]coq-elpi_1.13.0-6.debian.tar.xz2022-04-16 02:40 3.0K 
[TXT]coq-elpi_1.13.0-6.dsc2022-04-16 02:40 2.1K 
[ ]coq-elpi_1.13.0-7.debian.tar.xz2022-04-17 07:58 3.0K 
[TXT]coq-elpi_1.13.0-7.dsc2022-04-17 07:58 2.1K 
[ ]coq-elpi_1.13.0.orig.tar.gz2022-02-10 12:24 352K 
[ ]coq-elpi_1.14.0-1.debian.tar.xz2022-05-14 09:53 3.1K 
[TXT]coq-elpi_1.14.0-1.dsc2022-05-14 09:53 2.1K 
[ ]coq-elpi_1.14.0-2.debian.tar.xz2022-05-21 13:56 3.1K 
[TXT]coq-elpi_1.14.0-2.dsc2022-05-21 13:56 2.1K 
[ ]coq-elpi_1.14.0-3.debian.tar.xz2022-06-01 09:26 3.1K 
[TXT]coq-elpi_1.14.0-3.dsc2022-06-01 09:26 2.1K 
[ ]coq-elpi_1.14.0-4.debian.tar.xz2022-06-12 08:05 3.1K 
[TXT]coq-elpi_1.14.0-4.dsc2022-06-12 08:05 2.1K 
[ ]coq-elpi_1.14.0-5.debian.tar.xz2022-06-12 14:23 3.1K 
[TXT]coq-elpi_1.14.0-5.dsc2022-06-12 14:23 2.1K 
[ ]coq-elpi_1.14.0.orig.tar.gz2022-05-14 09:53 352K 
[ ]coq-elpi_1.15.5-1.debian.tar.xz2022-09-06 05:04 3.3K 
[TXT]coq-elpi_1.15.5-1.dsc2022-09-06 05:04 2.0K 
[ ]coq-elpi_1.15.5.orig.tar.gz2022-09-06 05:04 395K 
[ ]coq-elpi_1.15.6-1.debian.tar.xz2022-09-11 12:11 3.2K 
[TXT]coq-elpi_1.15.6-1.dsc2022-09-11 12:11 2.0K 
[ ]coq-elpi_1.15.6-2.debian.tar.xz2022-10-25 15:37 3.2K 
[TXT]coq-elpi_1.15.6-2.dsc2022-10-25 15:37 2.0K 
[ ]coq-elpi_1.15.6-4.debian.tar.xz2022-11-13 15:55 3.3K 
[TXT]coq-elpi_1.15.6-4.dsc2022-11-13 15:55 2.0K 
[ ]coq-elpi_1.15.6.orig.tar.gz2022-09-11 12:11 395K 
[ ]coq-elpi_1.16.0-1.debian.tar.xz2022-11-20 10:35 3.3K 
[TXT]coq-elpi_1.16.0-1.dsc2022-11-20 10:35 2.0K 
[ ]coq-elpi_1.16.0-2.debian.tar.xz2023-01-25 01:56 3.3K 
[TXT]coq-elpi_1.16.0-2.dsc2023-01-25 01:56 2.0K 
[ ]coq-elpi_1.16.0.orig.tar.gz2022-11-20 10:35 416K 
[ ]coq-elpi_1.17.1-1.debian.tar.xz2023-06-12 16:28 3.5K 
[TXT]coq-elpi_1.17.1-1.dsc2023-06-12 16:28 2.0K 
[ ]coq-elpi_1.17.1.orig.tar.gz2023-06-12 16:28 420K 
[ ]coq-elpi_1.19.3-1.debian.tar.xz2023-12-22 05:16 3.0K 
[TXT]coq-elpi_1.19.3-1.dsc2023-12-22 05:16 2.0K 
[ ]coq-elpi_1.19.3-2.debian.tar.xz2024-01-03 03:01 3.6K 
[TXT]coq-elpi_1.19.3-2.dsc2024-01-03 03:01 1.8K 
[ ]coq-elpi_1.19.3.orig.tar.gz2023-12-22 05:16 558K 
[ ]coq-elpi_2.1.0-1.debian.tar.xz2024-04-26 09:46 3.6K 
[TXT]coq-elpi_2.1.0-1.dsc2024-04-26 09:46 2.0K 
[ ]coq-elpi_2.1.0.orig.tar.gz2024-04-26 09:46 699K 
[ ]coq-elpi_2.2.3-1.debian.tar.xz2024-11-20 04:52 3.6K 
[TXT]coq-elpi_2.2.3-1.dsc2024-11-20 04:52 2.0K 
[ ]coq-elpi_2.2.3.orig.tar.gz2024-11-20 04:52 736K 
[ ]coq-elpi_2.3.0-1.debian.tar.xz2024-12-18 11:07 3.7K 
[TXT]coq-elpi_2.3.0-1.dsc2024-12-18 11:07 2.0K 
[ ]coq-elpi_2.3.0.orig.tar.gz2024-12-18 11:07 717K 
[ ]coq-elpi_2.4.0-1.debian.tar.xz2025-02-17 11:37 3.7K 
[TXT]coq-elpi_2.4.0-1.dsc2025-02-17 11:37 2.0K 
[ ]coq-elpi_2.4.0.orig.tar.gz2025-02-17 11:37 718K 
[ ]coq-elpi_2.5.0-1.1.debian.tar.xz2025-06-17 03:00 3.8K 
[TXT]coq-elpi_2.5.0-1.1.dsc2025-06-17 03:00 2.0K 
[ ]coq-elpi_2.5.0-1.debian.tar.xz2025-03-18 08:33 3.2K 
[TXT]coq-elpi_2.5.0-1.dsc2025-03-18 08:33 2.0K 
[ ]coq-elpi_2.5.0.orig.tar.gz2025-03-18 08:33 728K 
[ ]libcoq-elpi-ocaml-dev_1.13.0-1_amd64.deb2022-02-10 12:59 1.2M 
[ ]libcoq-elpi-ocaml-dev_1.13.0-1_arm64.deb2022-02-10 12:59 1.2M 
[ ]libcoq-elpi-ocaml-dev_1.13.0-1_armhf.deb2022-02-10 12:59 1.3M 
[ ]libcoq-elpi-ocaml-dev_1.13.0-1_i386.deb2022-02-10 12:49 1.2M 
[ ]libcoq-elpi-ocaml-dev_1.13.0-1_ppc64el.deb2022-02-10 12:59 1.3M 
[ ]libcoq-elpi-ocaml-dev_1.13.0-2_amd64.deb2022-03-23 18:12 1.2M 
[ ]libcoq-elpi-ocaml-dev_1.13.0-2_arm64.deb2022-03-23 18:12 1.2M 
[ ]libcoq-elpi-ocaml-dev_1.13.0-2_armhf.deb2022-03-23 18:27 1.3M 
[ ]libcoq-elpi-ocaml-dev_1.13.0-2_i386.deb2022-03-23 18:12 1.2M 
[ ]libcoq-elpi-ocaml-dev_1.13.0-2_ppc64el.deb2022-03-23 18:12 1.3M 
[ ]libcoq-elpi-ocaml-dev_1.13.0-3_amd64.deb2022-04-01 10:06 1.2M 
[ ]libcoq-elpi-ocaml-dev_1.13.0-3_arm64.deb2022-04-01 15:25 1.2M 
[ ]libcoq-elpi-ocaml-dev_1.13.0-3_armhf.deb2022-04-01 15:25 1.3M 
[ ]libcoq-elpi-ocaml-dev_1.13.0-3_i386.deb2022-04-01 15:25 1.2M 
[ ]libcoq-elpi-ocaml-dev_1.13.0-3_ppc64el.deb2022-04-01 15:26 1.3M 
[ ]libcoq-elpi-ocaml-dev_1.13.0-4_amd64.deb2022-04-11 03:58 1.2M 
[ ]libcoq-elpi-ocaml-dev_1.13.0-4_arm64.deb2022-04-11 03:58 1.2M 
[ ]libcoq-elpi-ocaml-dev_1.13.0-4_armhf.deb2022-04-11 04:13 1.3M 
[ ]libcoq-elpi-ocaml-dev_1.13.0-4_i386.deb2022-04-11 03:48 1.2M 
[ ]libcoq-elpi-ocaml-dev_1.13.0-4_ppc64el.deb2022-04-11 03:58 1.3M 
[ ]libcoq-elpi-ocaml-dev_1.13.0-5_amd64.deb2022-04-13 03:40 1.2M 
[ ]libcoq-elpi-ocaml-dev_1.13.0-5_arm64.deb2022-04-13 03:55 1.2M 
[ ]libcoq-elpi-ocaml-dev_1.13.0-5_armhf.deb2022-04-13 03:55 1.3M 
[ ]libcoq-elpi-ocaml-dev_1.13.0-5_i386.deb2022-04-13 03:40 1.2M 
[ ]libcoq-elpi-ocaml-dev_1.13.0-5_ppc64el.deb2022-04-13 03:40 1.3M 
[ ]libcoq-elpi-ocaml-dev_1.13.0-6_amd64.deb2022-04-16 03:10 1.2M 
[ ]libcoq-elpi-ocaml-dev_1.13.0-6_arm64.deb2022-04-16 03:10 1.2M 
[ ]libcoq-elpi-ocaml-dev_1.13.0-6_armhf.deb2022-04-16 03:10 1.3M 
[ ]libcoq-elpi-ocaml-dev_1.13.0-6_i386.deb2022-04-16 03:00 1.2M 
[ ]libcoq-elpi-ocaml-dev_1.13.0-6_ppc64el.deb2022-04-16 03:10 1.3M 
[ ]libcoq-elpi-ocaml-dev_1.13.0-7_amd64.deb2022-04-17 08:28 1.2M 
[ ]libcoq-elpi-ocaml-dev_1.13.0-7_arm64.deb2022-04-17 08:28 1.2M 
[ ]libcoq-elpi-ocaml-dev_1.13.0-7_armhf.deb2022-04-17 08:28 1.3M 
[ ]libcoq-elpi-ocaml-dev_1.13.0-7_i386.deb2022-04-17 08:18 1.2M 
[ ]libcoq-elpi-ocaml-dev_1.13.0-7_ppc64el.deb2022-04-17 08:28 1.3M 
[ ]libcoq-elpi-ocaml-dev_1.14.0-1_amd64.deb2022-05-14 12:25 1.2M 
[ ]libcoq-elpi-ocaml-dev_1.14.0-1_arm64.deb2022-05-14 12:40 1.2M 
[ ]libcoq-elpi-ocaml-dev_1.14.0-1_armhf.deb2022-05-14 13:57 1.3M 
[ ]libcoq-elpi-ocaml-dev_1.14.0-1_i386.deb2022-05-14 12:20 1.2M 
[ ]libcoq-elpi-ocaml-dev_1.14.0-1_ppc64el.deb2022-05-14 12:40 1.3M 
[ ]libcoq-elpi-ocaml-dev_1.14.0-2_amd64.deb2022-05-21 14:26 1.2M 
[ ]libcoq-elpi-ocaml-dev_1.14.0-2_arm64.deb2022-05-21 14:26 1.2M 
[ ]libcoq-elpi-ocaml-dev_1.14.0-2_armhf.deb2022-05-21 14:26 1.3M 
[ ]libcoq-elpi-ocaml-dev_1.14.0-2_i386.deb2022-05-21 14:16 1.2M 
[ ]libcoq-elpi-ocaml-dev_1.14.0-2_ppc64el.deb2022-05-21 14:26 1.3M 
[ ]libcoq-elpi-ocaml-dev_1.14.0-3_amd64.deb2022-06-01 09:57 1.2M 
[ ]libcoq-elpi-ocaml-dev_1.14.0-3_arm64.deb2022-06-01 10:12 1.2M 
[ ]libcoq-elpi-ocaml-dev_1.14.0-3_armhf.deb2022-06-01 10:12 1.3M 
[ ]libcoq-elpi-ocaml-dev_1.14.0-3_i386.deb2022-06-01 09:57 1.2M 
[ ]libcoq-elpi-ocaml-dev_1.14.0-3_ppc64el.deb2022-06-01 10:12 1.3M 
[ ]libcoq-elpi-ocaml-dev_1.14.0-4_amd64.deb2022-06-12 08:40 1.2M 
[ ]libcoq-elpi-ocaml-dev_1.14.0-4_arm64.deb2022-06-12 08:40 1.2M 
[ ]libcoq-elpi-ocaml-dev_1.14.0-4_armhf.deb2022-06-12 08:55 1.3M 
[ ]libcoq-elpi-ocaml-dev_1.14.0-4_i386.deb2022-06-12 08:40 1.2M 
[ ]libcoq-elpi-ocaml-dev_1.14.0-4_ppc64el.deb2022-06-12 08:55 1.3M 
[ ]libcoq-elpi-ocaml-dev_1.14.0-5+b1_amd64.deb2022-07-22 17:26 1.3M 
[ ]libcoq-elpi-ocaml-dev_1.14.0-5+b1_arm64.deb2022-07-22 17:26 1.3M 
[ ]libcoq-elpi-ocaml-dev_1.14.0-5+b1_armhf.deb2022-07-22 17:26 1.3M 
[ ]libcoq-elpi-ocaml-dev_1.14.0-5+b1_i386.deb2022-07-22 17:10 1.2M 
[ ]libcoq-elpi-ocaml-dev_1.14.0-5+b1_ppc64el.deb2022-07-22 17:26 1.3M 
[ ]libcoq-elpi-ocaml-dev_1.14.0-5_amd64.deb2022-06-12 14:58 1.2M 
[ ]libcoq-elpi-ocaml-dev_1.14.0-5_arm64.deb2022-06-12 14:58 1.2M 
[ ]libcoq-elpi-ocaml-dev_1.14.0-5_armhf.deb2022-06-12 15:13 1.3M 
[ ]libcoq-elpi-ocaml-dev_1.14.0-5_i386.deb2022-06-12 14:58 1.2M 
[ ]libcoq-elpi-ocaml-dev_1.14.0-5_ppc64el.deb2022-06-12 15:13 1.3M 
[ ]libcoq-elpi-ocaml_1.13.0-1_amd64.deb2022-02-10 12:59 3.8M 
[ ]libcoq-elpi-ocaml_1.13.0-1_arm64.deb2022-02-10 12:59 3.9M 
[ ]libcoq-elpi-ocaml_1.13.0-1_armhf.deb2022-02-10 12:59 3.8M 
[ ]libcoq-elpi-ocaml_1.13.0-1_i386.deb2022-02-10 12:49 3.7M 
[ ]libcoq-elpi-ocaml_1.13.0-1_ppc64el.deb2022-02-10 12:59 3.8M 
[ ]libcoq-elpi-ocaml_1.13.0-2_amd64.deb2022-03-23 18:12 3.8M 
[ ]libcoq-elpi-ocaml_1.13.0-2_arm64.deb2022-03-23 18:12 3.9M 
[ ]libcoq-elpi-ocaml_1.13.0-2_armhf.deb2022-03-23 18:27 3.8M 
[ ]libcoq-elpi-ocaml_1.13.0-2_i386.deb2022-03-23 18:12 3.7M 
[ ]libcoq-elpi-ocaml_1.13.0-2_ppc64el.deb2022-03-23 18:12 3.8M 
[ ]libcoq-elpi-ocaml_1.13.0-3_amd64.deb2022-04-01 10:06 3.4M 
[ ]libcoq-elpi-ocaml_1.13.0-3_arm64.deb2022-04-01 15:25 3.5M 
[ ]libcoq-elpi-ocaml_1.13.0-3_armhf.deb2022-04-01 15:25 3.4M 
[ ]libcoq-elpi-ocaml_1.13.0-3_i386.deb2022-04-01 15:25 3.3M 
[ ]libcoq-elpi-ocaml_1.13.0-3_ppc64el.deb2022-04-01 15:26 3.4M 
[ ]libcoq-elpi-ocaml_1.13.0-4_amd64.deb2022-04-11 03:58 3.4M 
[ ]libcoq-elpi-ocaml_1.13.0-4_arm64.deb2022-04-11 03:58 3.5M 
[ ]libcoq-elpi-ocaml_1.13.0-4_armhf.deb2022-04-11 04:13 3.4M 
[ ]libcoq-elpi-ocaml_1.13.0-4_i386.deb2022-04-11 03:48 3.3M 
[ ]libcoq-elpi-ocaml_1.13.0-4_ppc64el.deb2022-04-11 03:58 3.4M 
[ ]libcoq-elpi-ocaml_1.13.0-5_amd64.deb2022-04-13 03:40 3.4M 
[ ]libcoq-elpi-ocaml_1.13.0-5_arm64.deb2022-04-13 03:55 3.5M 
[ ]libcoq-elpi-ocaml_1.13.0-5_armhf.deb2022-04-13 03:55 3.4M 
[ ]libcoq-elpi-ocaml_1.13.0-5_i386.deb2022-04-13 03:40 3.3M 
[ ]libcoq-elpi-ocaml_1.13.0-5_ppc64el.deb2022-04-13 03:40 3.4M 
[ ]libcoq-elpi-ocaml_1.13.0-6_amd64.deb2022-04-16 03:10 3.4M 
[ ]libcoq-elpi-ocaml_1.13.0-6_arm64.deb2022-04-16 03:10 3.5M 
[ ]libcoq-elpi-ocaml_1.13.0-6_armhf.deb2022-04-16 03:10 3.4M 
[ ]libcoq-elpi-ocaml_1.13.0-6_i386.deb2022-04-16 03:00 3.3M 
[ ]libcoq-elpi-ocaml_1.13.0-6_ppc64el.deb2022-04-16 03:10 3.4M 
[ ]libcoq-elpi-ocaml_1.13.0-7_amd64.deb2022-04-17 08:28 3.4M 
[ ]libcoq-elpi-ocaml_1.13.0-7_arm64.deb2022-04-17 08:28 3.5M 
[ ]libcoq-elpi-ocaml_1.13.0-7_armhf.deb2022-04-17 08:28 3.4M 
[ ]libcoq-elpi-ocaml_1.13.0-7_i386.deb2022-04-17 08:18 3.3M 
[ ]libcoq-elpi-ocaml_1.13.0-7_ppc64el.deb2022-04-17 08:28 3.4M 
[ ]libcoq-elpi-ocaml_1.14.0-1_amd64.deb2022-05-14 12:25 6.1M 
[ ]libcoq-elpi-ocaml_1.14.0-1_arm64.deb2022-05-14 12:40 6.2M 
[ ]libcoq-elpi-ocaml_1.14.0-1_armhf.deb2022-05-14 13:57 6.1M 
[ ]libcoq-elpi-ocaml_1.14.0-1_i386.deb2022-05-14 12:20 6.0M 
[ ]libcoq-elpi-ocaml_1.14.0-1_ppc64el.deb2022-05-14 12:40 6.2M 
[ ]libcoq-elpi-ocaml_1.14.0-2_amd64.deb2022-05-21 14:26 6.1M 
[ ]libcoq-elpi-ocaml_1.14.0-2_arm64.deb2022-05-21 14:26 6.2M 
[ ]libcoq-elpi-ocaml_1.14.0-2_armhf.deb2022-05-21 14:26 6.1M 
[ ]libcoq-elpi-ocaml_1.14.0-2_i386.deb2022-05-21 14:16 6.0M 
[ ]libcoq-elpi-ocaml_1.14.0-2_ppc64el.deb2022-05-21 14:26 6.2M 
[ ]libcoq-elpi-ocaml_1.14.0-3_amd64.deb2022-06-01 09:57 6.1M 
[ ]libcoq-elpi-ocaml_1.14.0-3_arm64.deb2022-06-01 10:12 6.2M 
[ ]libcoq-elpi-ocaml_1.14.0-3_armhf.deb2022-06-01 10:12 6.1M 
[ ]libcoq-elpi-ocaml_1.14.0-3_i386.deb2022-06-01 09:57 6.0M 
[ ]libcoq-elpi-ocaml_1.14.0-3_ppc64el.deb2022-06-01 10:12 6.1M 
[ ]libcoq-elpi-ocaml_1.14.0-4_amd64.deb2022-06-12 08:40 6.1M 
[ ]libcoq-elpi-ocaml_1.14.0-4_arm64.deb2022-06-12 08:40 6.2M 
[ ]libcoq-elpi-ocaml_1.14.0-4_armhf.deb2022-06-12 08:55 6.1M 
[ ]libcoq-elpi-ocaml_1.14.0-4_i386.deb2022-06-12 08:40 6.0M 
[ ]libcoq-elpi-ocaml_1.14.0-4_ppc64el.deb2022-06-12 08:55 6.2M 
[ ]libcoq-elpi-ocaml_1.14.0-5+b1_amd64.deb2022-07-22 17:26 6.1M 
[ ]libcoq-elpi-ocaml_1.14.0-5+b1_arm64.deb2022-07-22 17:26 6.2M 
[ ]libcoq-elpi-ocaml_1.14.0-5+b1_armhf.deb2022-07-22 17:26 6.1M 
[ ]libcoq-elpi-ocaml_1.14.0-5+b1_i386.deb2022-07-22 17:10 6.0M 
[ ]libcoq-elpi-ocaml_1.14.0-5+b1_ppc64el.deb2022-07-22 17:26 6.2M 
[ ]libcoq-elpi-ocaml_1.14.0-5_amd64.deb2022-06-12 14:58 6.1M 
[ ]libcoq-elpi-ocaml_1.14.0-5_arm64.deb2022-06-12 14:58 6.2M 
[ ]libcoq-elpi-ocaml_1.14.0-5_armhf.deb2022-06-12 15:13 6.1M 
[ ]libcoq-elpi-ocaml_1.14.0-5_i386.deb2022-06-12 14:58 6.0M 
[ ]libcoq-elpi-ocaml_1.14.0-5_ppc64el.deb2022-06-12 15:13 6.2M 
[ ]libcoq-elpi_1.13.0-3_all.deb2022-04-01 10:06 446K 
[ ]libcoq-elpi_1.13.0-4_all.deb2022-04-11 03:48 447K 
[ ]libcoq-elpi_1.13.0-5_all.deb2022-04-13 03:40 447K 
[ ]libcoq-elpi_1.13.0-6_all.deb2022-04-16 03:00 446K 
[ ]libcoq-elpi_1.13.0-7_amd64.deb2022-04-17 08:28 446K 
[ ]libcoq-elpi_1.13.0-7_arm64.deb2022-04-17 08:28 447K 
[ ]libcoq-elpi_1.13.0-7_armhf.deb2022-04-17 08:28 445K 
[ ]libcoq-elpi_1.13.0-7_i386.deb2022-04-17 08:18 446K 
[ ]libcoq-elpi_1.13.0-7_ppc64el.deb2022-04-17 08:28 446K 
[ ]libcoq-elpi_1.14.0-1_amd64.deb2022-05-14 12:25 444K 
[ ]libcoq-elpi_1.14.0-1_arm64.deb2022-05-14 12:40 445K 
[ ]libcoq-elpi_1.14.0-1_armhf.deb2022-05-14 13:57 445K 
[ ]libcoq-elpi_1.14.0-1_i386.deb2022-05-14 12:20 444K 
[ ]libcoq-elpi_1.14.0-1_ppc64el.deb2022-05-14 12:40 445K 
[ ]libcoq-elpi_1.14.0-2_amd64.deb2022-05-21 14:26 444K 
[ ]libcoq-elpi_1.14.0-2_arm64.deb2022-05-21 14:26 445K 
[ ]libcoq-elpi_1.14.0-2_armhf.deb2022-05-21 14:26 444K 
[ ]libcoq-elpi_1.14.0-2_i386.deb2022-05-21 14:16 444K 
[ ]libcoq-elpi_1.14.0-2_ppc64el.deb2022-05-21 14:26 444K 
[ ]libcoq-elpi_1.14.0-3_amd64.deb2022-06-01 09:57 445K 
[ ]libcoq-elpi_1.14.0-3_arm64.deb2022-06-01 10:12 445K 
[ ]libcoq-elpi_1.14.0-3_armhf.deb2022-06-01 10:12 444K 
[ ]libcoq-elpi_1.14.0-3_i386.deb2022-06-01 09:57 444K 
[ ]libcoq-elpi_1.14.0-3_ppc64el.deb2022-06-01 10:12 444K 
[ ]libcoq-elpi_1.14.0-4_amd64.deb2022-06-12 08:40 444K 
[ ]libcoq-elpi_1.14.0-4_arm64.deb2022-06-12 08:40 444K 
[ ]libcoq-elpi_1.14.0-4_armhf.deb2022-06-12 08:55 444K 
[ ]libcoq-elpi_1.14.0-4_i386.deb2022-06-12 08:40 445K 
[ ]libcoq-elpi_1.14.0-4_ppc64el.deb2022-06-12 08:55 444K 
[ ]libcoq-elpi_1.14.0-5+b1_amd64.deb2022-07-22 17:26 444K 
[ ]libcoq-elpi_1.14.0-5+b1_arm64.deb2022-07-22 17:26 445K 
[ ]libcoq-elpi_1.14.0-5+b1_armhf.deb2022-07-22 17:26 445K 
[ ]libcoq-elpi_1.14.0-5+b1_i386.deb2022-07-22 17:10 444K 
[ ]libcoq-elpi_1.14.0-5+b1_ppc64el.deb2022-07-22 17:26 444K 
[ ]libcoq-elpi_1.14.0-5_amd64.deb2022-06-12 14:58 444K 
[ ]libcoq-elpi_1.14.0-5_arm64.deb2022-06-12 14:58 445K 
[ ]libcoq-elpi_1.14.0-5_armhf.deb2022-06-12 15:13 444K 
[ ]libcoq-elpi_1.14.0-5_i386.deb2022-06-12 14:58 444K 
[ ]libcoq-elpi_1.14.0-5_ppc64el.deb2022-06-12 15:13 444K 
[ ]libcoq-elpi_1.15.5-1_amd64.deb2022-09-06 07:40 2.2M 
[ ]libcoq-elpi_1.15.5-1_arm64.deb2022-09-06 08:26 2.3M 
[ ]libcoq-elpi_1.15.5-1_armhf.deb2022-09-06 08:26 2.2M 
[ ]libcoq-elpi_1.15.5-1_i386.deb2022-09-06 09:11 2.1M 
[ ]libcoq-elpi_1.15.5-1_ppc64el.deb2022-09-06 10:28 2.2M 
[ ]libcoq-elpi_1.15.6-1_amd64.deb2022-09-11 12:41 2.2M 
[ ]libcoq-elpi_1.15.6-1_arm64.deb2022-09-11 12:41 2.3M 
[ ]libcoq-elpi_1.15.6-1_armhf.deb2022-09-11 12:41 2.2M 
[ ]libcoq-elpi_1.15.6-1_i386.deb2022-09-11 12:31 2.1M 
[ ]libcoq-elpi_1.15.6-1_ppc64el.deb2022-09-11 12:41 2.2M 
[ ]libcoq-elpi_1.15.6-2_amd64.deb2022-10-25 16:12 2.2M 
[ ]libcoq-elpi_1.15.6-2_arm64.deb2022-10-25 16:27 2.3M 
[ ]libcoq-elpi_1.15.6-2_armhf.deb2022-10-25 16:27 2.2M 
[ ]libcoq-elpi_1.15.6-2_i386.deb2022-10-25 16:12 2.1M 
[ ]libcoq-elpi_1.15.6-2_ppc64el.deb2022-10-25 18:42 2.2M 
[ ]libcoq-elpi_1.15.6-4_amd64.deb2022-11-13 21:13 2.2M 
[ ]libcoq-elpi_1.15.6-4_arm64.deb2022-11-13 20:43 2.3M 
[ ]libcoq-elpi_1.15.6-4_i386.deb2022-11-13 23:05 2.1M 
[ ]libcoq-elpi_1.15.6-4_ppc64el.deb2022-11-14 19:55 2.2M 
[ ]libcoq-elpi_1.16.0-1+b1_amd64.deb2022-11-29 08:43 2.3M 
[ ]libcoq-elpi_1.16.0-1+b1_arm64.deb2022-11-29 08:28 2.4M 
[ ]libcoq-elpi_1.16.0-1+b1_i386.deb2022-11-29 08:44 2.2M 
[ ]libcoq-elpi_1.16.0-1+b1_ppc64el.deb2022-11-29 09:29 2.3M 
[ ]libcoq-elpi_1.16.0-1+b2_amd64.deb2023-01-25 00:40 2.3M 
[ ]libcoq-elpi_1.16.0-1+b2_arm64.deb2023-01-25 00:40 2.4M 
[ ]libcoq-elpi_1.16.0-1+b2_i386.deb2023-01-25 00:40 2.2M 
[ ]libcoq-elpi_1.16.0-1+b2_ppc64el.deb2023-01-25 02:11 2.3M 
[ ]libcoq-elpi_1.16.0-1_amd64.deb2022-11-20 11:10 2.3M 
[ ]libcoq-elpi_1.16.0-1_arm64.deb2022-11-20 11:10 2.4M 
[ ]libcoq-elpi_1.16.0-1_i386.deb2022-11-20 11:25 2.2M 
[ ]libcoq-elpi_1.16.0-1_ppc64el.deb2022-11-20 11:41 2.3M 
[ ]libcoq-elpi_1.16.0-2+b1_amd64.deb2023-02-14 04:59 2.3M 
[ ]libcoq-elpi_1.16.0-2+b1_arm64.deb2023-02-14 04:59 2.4M 
[ ]libcoq-elpi_1.16.0-2+b1_i386.deb2023-02-14 04:49 2.2M 
[ ]libcoq-elpi_1.16.0-2+b1_ppc64el.deb2023-02-14 05:44 2.3M 
[ ]libcoq-elpi_1.16.0-2_amd64.deb2023-01-25 02:57 2.3M 
[ ]libcoq-elpi_1.16.0-2_arm64.deb2023-01-25 02:57 2.4M 
[ ]libcoq-elpi_1.16.0-2_i386.deb2023-01-25 02:47 2.2M 
[ ]libcoq-elpi_1.16.0-2_ppc64el.deb2023-01-26 07:14 2.3M 
[ ]libcoq-elpi_1.17.1-1+b1_amd64.deb2023-07-03 09:13 2.3M 
[ ]libcoq-elpi_1.17.1-1+b1_arm64.deb2023-07-05 20:10 2.4M 
[ ]libcoq-elpi_1.17.1-1+b1_i386.deb2023-07-03 09:08 2.2M 
[ ]libcoq-elpi_1.17.1-1+b1_ppc64el.deb2023-07-05 20:10 2.3M 
[ ]libcoq-elpi_1.17.1-1+b2_amd64.deb2023-07-06 23:27 2.3M 
[ ]libcoq-elpi_1.17.1-1+b2_arm64.deb2023-07-06 23:27 2.4M 
[ ]libcoq-elpi_1.17.1-1+b2_i386.deb2023-07-12 08:35 2.2M 
[ ]libcoq-elpi_1.17.1-1+b2_ppc64el.deb2023-07-06 19:59 2.3M 
[ ]libcoq-elpi_1.17.1-1+b3_amd64.deb2023-07-16 09:41 2.3M 
[ ]libcoq-elpi_1.17.1-1+b3_arm64.deb2023-07-16 10:26 2.4M 
[ ]libcoq-elpi_1.17.1-1+b3_i386.deb2023-07-16 09:10 2.2M 
[ ]libcoq-elpi_1.17.1-1+b3_ppc64el.deb2023-07-16 09:10 2.3M 
[ ]libcoq-elpi_1.17.1-1+b4_amd64.deb2023-07-23 08:44 2.3M 
[ ]libcoq-elpi_1.17.1-1+b4_arm64.deb2023-07-23 10:26 2.4M 
[ ]libcoq-elpi_1.17.1-1+b4_i386.deb2023-07-23 09:40 2.3M 
[ ]libcoq-elpi_1.17.1-1+b4_ppc64el.deb2023-07-23 09:25 2.3M 
[ ]libcoq-elpi_1.17.1-1+b5_amd64.deb2023-07-25 15:00 2.3M 
[ ]libcoq-elpi_1.17.1-1+b5_arm64.deb2023-07-25 15:00 2.4M 
[ ]libcoq-elpi_1.17.1-1+b5_i386.deb2023-07-25 15:00 2.3M 
[ ]libcoq-elpi_1.17.1-1+b5_ppc64el.deb2023-07-25 14:59 2.3M 
[ ]libcoq-elpi_1.17.1-1+b6_amd64.deb2023-07-27 13:58 2.3M 
[ ]libcoq-elpi_1.17.1-1+b6_arm64.deb2023-07-27 14:14 2.4M 
[ ]libcoq-elpi_1.17.1-1+b6_i386.deb2023-07-27 15:57 2.3M 
[ ]libcoq-elpi_1.17.1-1+b6_ppc64el.deb2023-07-27 13:58 2.3M 
[ ]libcoq-elpi_1.17.1-1+b7_amd64.deb2023-08-20 14:57 2.3M 
[ ]libcoq-elpi_1.17.1-1+b7_arm64.deb2023-08-20 16:14 2.4M 
[ ]libcoq-elpi_1.17.1-1+b7_i386.deb2023-08-20 15:13 2.3M 
[ ]libcoq-elpi_1.17.1-1+b7_ppc64el.deb2023-08-20 14:58 2.3M 
[ ]libcoq-elpi_1.17.1-1+b8_amd64.deb2023-08-27 13:47 2.3M 
[ ]libcoq-elpi_1.17.1-1+b8_arm64.deb2023-08-27 13:57 2.4M 
[ ]libcoq-elpi_1.17.1-1+b8_i386.deb2023-08-27 13:57 2.3M 
[ ]libcoq-elpi_1.17.1-1+b8_ppc64el.deb2023-08-27 13:57 2.3M 
[ ]libcoq-elpi_1.17.1-1+b9_amd64.deb2023-09-22 03:26 2.3M 
[ ]libcoq-elpi_1.17.1-1+b9_arm64.deb2023-09-22 05:14 2.4M 
[ ]libcoq-elpi_1.17.1-1+b9_i386.deb2023-09-22 03:26 2.3M 
[ ]libcoq-elpi_1.17.1-1+b9_ppc64el.deb2023-09-22 04:12 2.3M 
[ ]libcoq-elpi_1.17.1-1+b10_amd64.deb2023-10-15 01:44 2.3M 
[ ]libcoq-elpi_1.17.1-1+b10_arm64.deb2023-10-15 00:13 2.4M 
[ ]libcoq-elpi_1.17.1-1+b10_i386.deb2023-10-15 02:25 2.3M 
[ ]libcoq-elpi_1.17.1-1+b10_ppc64el.deb2023-10-14 21:11 2.3M 
[ ]libcoq-elpi_1.17.1-1_amd64.deb2023-06-12 18:58 2.3M 
[ ]libcoq-elpi_1.17.1-1_arm64.deb2023-06-13 04:28 2.4M 
[ ]libcoq-elpi_1.17.1-1_i386.deb2023-06-12 20:10 2.2M 
[ ]libcoq-elpi_1.17.1-1_ppc64el.deb2023-06-18 10:11 2.3M 
[ ]libcoq-elpi_1.19.3-1_amd64.deb2023-12-22 05:57 2.5M 
[ ]libcoq-elpi_1.19.3-1_arm64.deb2023-12-22 05:57 2.5M 
[ ]libcoq-elpi_1.19.3-1_armhf.deb2023-12-31 14:27 2.4M 
[ ]libcoq-elpi_1.19.3-1_i386.deb2023-12-22 06:02 2.4M 
[ ]libcoq-elpi_1.19.3-1_ppc64el.deb2023-12-22 05:57 2.5M 
[ ]libcoq-elpi_1.19.3-1_s390x.deb2023-12-31 14:22 2.5M 
[ ]libcoq-elpi_1.19.3-2+b1_amd64.deb2024-02-16 07:12 2.5M 
[ ]libcoq-elpi_1.19.3-2+b1_arm64.deb2024-02-16 06:42 2.5M 
[ ]libcoq-elpi_1.19.3-2+b1_armhf.deb2024-02-16 06:41 2.4M 
[ ]libcoq-elpi_1.19.3-2+b1_i386.deb2024-02-16 07:07 2.4M 
[ ]libcoq-elpi_1.19.3-2+b1_ppc64el.deb2024-02-16 06:36 2.5M 
[ ]libcoq-elpi_1.19.3-2+b1_riscv64.deb2024-02-16 10:25 2.5M 
[ ]libcoq-elpi_1.19.3-2+b1_s390x.deb2024-02-16 06:36 2.5M 
[ ]libcoq-elpi_1.19.3-2+b2_amd64.deb2024-03-19 14:40 2.5M 
[ ]libcoq-elpi_1.19.3-2+b2_arm64.deb2024-03-19 14:51 2.5M 
[ ]libcoq-elpi_1.19.3-2+b2_armhf.deb2024-03-26 11:33 2.4M 
[ ]libcoq-elpi_1.19.3-2+b2_i386.deb2024-03-19 14:40 2.4M 
[ ]libcoq-elpi_1.19.3-2+b2_ppc64el.deb2024-03-19 14:40 2.5M 
[ ]libcoq-elpi_1.19.3-2+b2_riscv64.deb2024-04-10 23:04 2.5M 
[ ]libcoq-elpi_1.19.3-2+b2_s390x.deb2024-03-19 16:54 2.5M 
[ ]libcoq-elpi_1.19.3-2_amd64.deb2024-01-03 04:16 2.5M 
[ ]libcoq-elpi_1.19.3-2_arm64.deb2024-01-03 04:11 2.5M 
[ ]libcoq-elpi_1.19.3-2_armhf.deb2024-01-03 04:16 2.4M 
[ ]libcoq-elpi_1.19.3-2_i386.deb2024-01-03 04:11 2.4M 
[ ]libcoq-elpi_1.19.3-2_ppc64el.deb2024-01-03 04:16 2.5M 
[ ]libcoq-elpi_1.19.3-2_riscv64.deb2024-01-03 04:46 2.5M 
[ ]libcoq-elpi_1.19.3-2_s390x.deb2024-01-03 04:11 2.5M 
[ ]libcoq-elpi_2.1.0-1+b1_amd64.deb2024-06-04 03:49 3.3M 
[ ]libcoq-elpi_2.1.0-1+b1_arm64.deb2024-06-04 03:54 3.4M 
[ ]libcoq-elpi_2.1.0-1+b1_armhf.deb2024-06-15 07:04 3.3M 
[ ]libcoq-elpi_2.1.0-1+b1_i386.deb2024-06-04 03:54 3.2M 
[ ]libcoq-elpi_2.1.0-1+b1_ppc64el.deb2024-06-06 14:11 3.3M 
[ ]libcoq-elpi_2.1.0-1+b1_riscv64.deb2024-06-04 11:52 3.3M 
[ ]libcoq-elpi_2.1.0-1+b1_s390x.deb2024-06-15 17:21 3.3M 
[ ]libcoq-elpi_2.1.0-1+b2_amd64.deb2024-06-15 06:59 3.3M 
[ ]libcoq-elpi_2.1.0-1+b2_arm64.deb2024-06-15 06:54 3.4M 
[ ]libcoq-elpi_2.1.0-1+b2_armhf.deb2024-08-03 23:22 3.3M 
[ ]libcoq-elpi_2.1.0-1+b2_i386.deb2024-06-15 06:59 3.2M 
[ ]libcoq-elpi_2.1.0-1+b2_ppc64el.deb2024-06-15 06:59 3.3M 
[ ]libcoq-elpi_2.1.0-1+b2_riscv64.deb2024-06-15 07:46 3.3M 
[ ]libcoq-elpi_2.1.0-1+b2_s390x.deb2024-08-03 23:28 3.3M 
[ ]libcoq-elpi_2.1.0-1+b3_amd64.deb2024-08-03 23:22 3.3M 
[ ]libcoq-elpi_2.1.0-1+b3_arm64.deb2024-08-03 23:28 3.4M 
[ ]libcoq-elpi_2.1.0-1+b3_i386.deb2024-08-03 23:23 3.2M 
[ ]libcoq-elpi_2.1.0-1+b3_ppc64el.deb2024-08-03 23:22 3.3M 
[ ]libcoq-elpi_2.1.0-1+b3_riscv64.deb2024-08-04 03:39 3.3M 
[ ]libcoq-elpi_2.1.0-1+b3_s390x.deb2024-08-10 23:37 2.7M 
[ ]libcoq-elpi_2.1.0-1+b4_amd64.deb2024-08-08 14:29 2.7M 
[ ]libcoq-elpi_2.1.0-1+b4_arm64.deb2024-08-08 14:34 2.8M 
[ ]libcoq-elpi_2.1.0-1+b4_riscv64.deb2024-08-08 18:52 2.7M 
[ ]libcoq-elpi_2.1.0-1+b4_s390x.deb2024-08-20 23:59 2.7M 
[ ]libcoq-elpi_2.1.0-1+b5_amd64.deb2024-08-20 23:53 2.7M 
[ ]libcoq-elpi_2.1.0-1+b5_arm64.deb2024-08-20 23:54 2.8M 
[ ]libcoq-elpi_2.1.0-1+b5_riscv64.deb2024-08-21 03:23 2.7M 
[ ]libcoq-elpi_2.1.0-1+b5_s390x.deb2024-08-30 00:35 2.7M 
[ ]libcoq-elpi_2.1.0-1+b6_amd64.deb2024-08-30 00:35 2.7M 
[ ]libcoq-elpi_2.1.0-1+b6_arm64.deb2024-08-30 00:35 2.8M 
[ ]libcoq-elpi_2.1.0-1+b6_ppc64el.deb2024-08-30 04:08 2.7M 
[ ]libcoq-elpi_2.1.0-1+b6_riscv64.deb2024-08-30 02:32 2.7M 
[ ]libcoq-elpi_2.1.0-1+b6_s390x.deb2024-09-11 11:18 2.7M 
[ ]libcoq-elpi_2.1.0-1+b7_amd64.deb2024-09-10 14:38 2.7M 
[ ]libcoq-elpi_2.1.0-1+b7_arm64.deb2024-09-10 14:54 2.8M 
[ ]libcoq-elpi_2.1.0-1+b7_ppc64el.deb2024-09-10 14:38 2.7M 
[ ]libcoq-elpi_2.1.0-1+b7_riscv64.deb2024-09-10 20:14 2.7M 
[ ]libcoq-elpi_2.1.0-1+b7_s390x.deb2024-09-17 01:17 2.7M 
[ ]libcoq-elpi_2.1.0-1+b8_amd64.deb2024-09-17 01:17 2.7M 
[ ]libcoq-elpi_2.1.0-1+b8_arm64.deb2024-09-17 01:17 2.8M 
[ ]libcoq-elpi_2.1.0-1+b8_ppc64el.deb2024-09-17 01:22 2.7M 
[ ]libcoq-elpi_2.1.0-1+b8_riscv64.deb2024-09-17 07:33 2.7M 
[ ]libcoq-elpi_2.1.0-1+b8_s390x.deb2024-10-12 03:22 2.7M 
[ ]libcoq-elpi_2.1.0-1+b9_amd64.deb2024-10-12 03:07 2.7M 
[ ]libcoq-elpi_2.1.0-1+b9_arm64.deb2024-10-12 03:22 2.8M 
[ ]libcoq-elpi_2.1.0-1+b9_ppc64el.deb2024-10-12 03:22 2.7M 
[ ]libcoq-elpi_2.1.0-1+b9_riscv64.deb2024-10-12 06:45 2.7M 
[ ]libcoq-elpi_2.1.0-1_amd64.deb2024-04-27 18:03 3.3M 
[ ]libcoq-elpi_2.1.0-1_arm64.deb2024-04-27 18:03 3.4M 
[ ]libcoq-elpi_2.1.0-1_armhf.deb2024-06-07 02:48 3.3M 
[ ]libcoq-elpi_2.1.0-1_i386.deb2024-04-27 13:44 3.2M 
[ ]libcoq-elpi_2.1.0-1_ppc64el.deb2024-04-27 13:07 3.3M 
[ ]libcoq-elpi_2.1.0-1_riscv64.deb2024-04-27 14:12 3.3M 
[ ]libcoq-elpi_2.1.0-1_s390x.deb2024-06-07 02:38 3.3M 
[ ]libcoq-elpi_2.2.3-1+b1_amd64.deb2024-11-20 09:57 7.2M 
[ ]libcoq-elpi_2.2.3-1+b1_arm64.deb2024-11-20 11:40 7.6M 
[ ]libcoq-elpi_2.2.3-1+b1_ppc64el.deb2024-11-20 11:40 7.5M 
[ ]libcoq-elpi_2.2.3-1+b1_s390x.deb2024-11-20 14:39 7.6M 
[ ]libcoq-elpi_2.2.3-1+b2_amd64.deb2024-11-20 11:41 7.2M 
[ ]libcoq-elpi_2.2.3-1+b2_s390x.deb2024-11-21 08:03 7.4M 
[ ]libcoq-elpi_2.2.3-1_amd64.deb2024-11-20 05:28 8.7M 
[ ]libcoq-elpi_2.2.3-1_arm64.deb2024-11-20 05:33 8.9M 
[ ]libcoq-elpi_2.2.3-1_ppc64el.deb2024-11-20 05:23 8.8M 
[ ]libcoq-elpi_2.2.3-1_riscv64.deb2024-11-20 10:53 7.9M 
[ ]libcoq-elpi_2.2.3-1_s390x.deb2024-11-20 05:38 8.7M 
[ ]libcoq-elpi_2.3.0-1+b1_amd64.deb2025-01-14 23:09 11M 
[ ]libcoq-elpi_2.3.0-1+b1_arm64.deb2025-01-14 23:14 11M 
[ ]libcoq-elpi_2.3.0-1+b1_ppc64el.deb2025-01-14 23:09 11M 
[ ]libcoq-elpi_2.3.0-1+b1_riscv64.deb2025-01-15 01:47 12M 
[ ]libcoq-elpi_2.3.0-1+b1_s390x.deb2025-01-15 02:17 11M 
[ ]libcoq-elpi_2.3.0-1+b2_amd64.deb2025-01-28 12:31 11M 
[ ]libcoq-elpi_2.3.0-1+b2_arm64.deb2025-01-28 16:57 11M 
[ ]libcoq-elpi_2.3.0-1+b2_ppc64el.deb2025-01-28 11:34 11M 
[ ]libcoq-elpi_2.3.0-1+b2_riscv64.deb2025-01-28 17:48 12M 
[ ]libcoq-elpi_2.3.0-1+b2_s390x.deb2025-01-30 01:51 11M 
[ ]libcoq-elpi_2.3.0-1+b3_amd64.deb2025-02-13 09:09 11M 
[ ]libcoq-elpi_2.3.0-1+b3_arm64.deb2025-02-13 10:41 11M 
[ ]libcoq-elpi_2.3.0-1+b3_ppc64el.deb2025-02-13 09:04 11M 
[ ]libcoq-elpi_2.3.0-1+b3_riscv64.deb2025-02-13 11:34 12M 
[ ]libcoq-elpi_2.3.0-1+b3_s390x.deb2025-02-13 11:54 11M 
[ ]libcoq-elpi_2.3.0-1_amd64.deb2024-12-18 14:20 11M 
[ ]libcoq-elpi_2.3.0-1_arm64.deb2024-12-18 14:35 11M 
[ ]libcoq-elpi_2.3.0-1_ppc64el.deb2024-12-18 14:35 11M 
[ ]libcoq-elpi_2.3.0-1_riscv64.deb2024-12-18 15:16 12M 
[ ]libcoq-elpi_2.3.0-1_s390x.deb2024-12-18 14:35 11M 
[ ]libcoq-elpi_2.4.0-1+b1_s390x.deb2025-02-18 08:36 12M 
[ ]libcoq-elpi_2.4.0-1_amd64.deb2025-02-17 19:20 12M 
[ ]libcoq-elpi_2.4.0-1_arm64.deb2025-02-17 19:51 12M 
[ ]libcoq-elpi_2.4.0-1_ppc64el.deb2025-02-17 17:12 12M 
[ ]libcoq-elpi_2.4.0-1_riscv64.deb2025-02-17 19:46 13M 
[ ]libcoq-elpi_2.4.0-1_s390x.deb2025-02-17 19:36 12M 
[ ]libcoq-elpi_2.5.0-1+b1_amd64.deb2025-06-14 21:48 12M 
[ ]libcoq-elpi_2.5.0-1+b1_arm64.deb2025-06-15 01:38 12M 
[ ]libcoq-elpi_2.5.0-1+b1_ppc64el.deb2025-06-15 02:23 12M 
[ ]libcoq-elpi_2.5.0-1.1_amd64.deb2025-06-17 03:16 12M 
[ ]libcoq-elpi_2.5.0-1.1_arm64.deb2025-06-17 03:21 12M 
[ ]libcoq-elpi_2.5.0-1.1_ppc64el.deb2025-06-17 03:15 12M 
[ ]libcoq-elpi_2.5.0-1.1_riscv64.deb2025-06-17 03:36 12M 
[ ]libcoq-elpi_2.5.0-1.1_s390x.deb2025-06-17 04:16 12M 
[ ]libcoq-elpi_2.5.0-1_amd64.deb2025-03-18 09:04 12M 
[ ]libcoq-elpi_2.5.0-1_arm64.deb2025-03-18 09:09 12M 
[ ]libcoq-elpi_2.5.0-1_ppc64el.deb2025-03-18 09:04 12M 
[ ]libcoq-elpi_2.5.0-1_riscv64.deb2025-03-18 09:30 12M 
[ ]libcoq-elpi_2.5.0-1_s390x.deb2025-03-18 09:24 12M