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

directories: 0, files: 29

NameLast modifiedSize
../
libcoq-elpi_3.2.0-3_s390x.deb2026-02-13 09:42:0916.17 MiB
libcoq-elpi_3.2.0-3_ppc64el.deb2026-02-15 11:48:1816.13 MiB
libcoq-elpi_3.2.0-3+b1_arm64.deb2026-02-15 16:48:1516.42 MiB
libcoq-elpi_3.2.0-3+b1_amd64.deb2026-02-15 11:38:1016.06 MiB
libcoq-elpi_2.5.0-1.2+b4_arm64.deb2026-02-13 18:49:3412.22 MiB
libcoq-elpi_2.5.0-1.2+b4_amd64.deb2026-02-13 20:47:5311.55 MiB
libcoq-elpi_2.5.0-1.2+b2_s390x.deb2025-12-28 05:45:3511.87 MiB
libcoq-elpi_2.5.0-1.2+b2_riscv64.deb2025-12-28 08:17:5312.22 MiB
libcoq-elpi_2.5.0-1.2+b2_ppc64el.deb2025-12-28 05:45:3311.83 MiB
libcoq-elpi_2.5.0-1.1_s390x.deb2025-06-17 10:16:3511.78 MiB
libcoq-elpi_2.5.0-1.1_riscv64.deb2025-06-17 09:36:3112.33 MiB
libcoq-elpi_2.5.0-1.1_ppc64el.deb2025-06-17 09:15:5611.83 MiB
libcoq-elpi_2.5.0-1.1_arm64.deb2025-06-17 09:21:3012.19 MiB
libcoq-elpi_2.5.0-1.1_amd64.deb2025-06-17 09:16:2811.73 MiB
libcoq-elpi_1.16.0-2+b1_ppc64el.deb2023-02-14 11:44:542.33 MiB
libcoq-elpi_1.16.0-2+b1_i386.deb2023-02-14 10:49:062.25 MiB
libcoq-elpi_1.16.0-2+b1_arm64.deb2023-02-14 10:59:272.40 MiB
libcoq-elpi_1.16.0-2+b1_amd64.deb2023-02-14 10:59:132.32 MiB
coq-elpi_3.2.0.orig.tar.gz2025-10-30 11:44:44748.74 KiB
coq-elpi_3.2.0-3.dsc2025-11-11 18:40:142.04 KiB
coq-elpi_3.2.0-3.debian.tar.xz2025-11-11 18:40:143.79 KiB
coq-elpi_2.5.0.orig.tar.gz2025-03-18 13:33:53728.48 KiB
coq-elpi_2.5.0-1.2.dsc2025-10-28 13:55:512.00 KiB
coq-elpi_2.5.0-1.2.debian.tar.xz2025-10-28 13:55:513.83 KiB
coq-elpi_2.5.0-1.1.dsc2025-06-17 09:00:262.00 KiB
coq-elpi_2.5.0-1.1.debian.tar.xz2025-06-17 09:00:263.81 KiB
coq-elpi_1.16.0.orig.tar.gz2022-11-20 16:35:02416.23 KiB
coq-elpi_1.16.0-2.dsc2023-01-25 07:56:491.98 KiB
coq-elpi_1.16.0-2.debian.tar.xz2023-01-25 07:56:493.33 KiB