Filename Modification time Size coq-elpi_1.16.0-2.debian.tar.xz 2023-01-25 07:56 CET 3412 B coq-elpi_1.16.0-2.dsc 2023-01-25 07:56 CET 2030 B coq-elpi_1.16.0.orig.tar.gz 2022-11-20 16:35 CET 416 KiB coq-elpi_2.5.0-1.1.debian.tar.xz 2025-06-17 09:00 CEST 3900 B coq-elpi_2.5.0-1.1.dsc 2025-06-17 09:00 CEST 2050 B coq-elpi_2.5.0-1.2.debian.tar.xz 2025-10-28 13:55 CET 3920 B coq-elpi_2.5.0-1.2.dsc 2025-10-28 13:55 CET 2050 B coq-elpi_2.5.0.orig.tar.gz 2025-03-18 13:33 CET 728 KiB coq-elpi_3.2.0-2.debian.tar.xz 2025-10-30 11:44 CET 3852 B coq-elpi_3.2.0-2.dsc 2025-10-30 11:44 CET 2079 B coq-elpi_3.2.0.orig.tar.gz 2025-10-30 11:44 CET 749 KiB libcoq-elpi_1.16.0-2+b1_amd64.deb 2023-02-14 10:59 CET 2372 KiB libcoq-elpi_1.16.0-2+b1_arm64.deb 2023-02-14 10:59 CET 2454 KiB libcoq-elpi_1.16.0-2+b1_i386.deb 2023-02-14 10:49 CET 2299 KiB libcoq-elpi_1.16.0-2+b1_ppc64el.deb 2023-02-14 11:44 CET 2389 KiB libcoq-elpi_2.5.0-1.1+b5_amd64.deb 2025-10-17 13:10 CEST 12 MiB libcoq-elpi_2.5.0-1.1+b5_arm64.deb 2025-10-17 13:10 CEST 12 MiB libcoq-elpi_2.5.0-1.1+b5_ppc64el.deb 2025-10-17 13:04 CEST 12 MiB libcoq-elpi_2.5.0-1.1+b5_riscv64.deb 2025-10-17 15:43 CEST 12 MiB libcoq-elpi_2.5.0-1.1+b5_s390x.deb 2025-10-17 13:10 CEST 12 MiB libcoq-elpi_2.5.0-1.1_amd64.deb 2025-06-17 09:16 CEST 12 MiB libcoq-elpi_2.5.0-1.1_arm64.deb 2025-06-17 09:21 CEST 12 MiB libcoq-elpi_2.5.0-1.1_ppc64el.deb 2025-06-17 09:15 CEST 12 MiB libcoq-elpi_2.5.0-1.1_riscv64.deb 2025-06-17 09:36 CEST 12 MiB libcoq-elpi_2.5.0-1.1_s390x.deb 2025-06-17 10:16 CEST 12 MiB libcoq-elpi_2.5.0-1.2_amd64.deb 2025-10-28 14:16 CET 12 MiB libcoq-elpi_2.5.0-1.2_arm64.deb 2025-10-28 14:16 CET 12 MiB libcoq-elpi_2.5.0-1.2_ppc64el.deb 2025-10-28 14:16 CET 12 MiB libcoq-elpi_2.5.0-1.2_riscv64.deb 2025-10-28 14:46 CET 12 MiB libcoq-elpi_2.5.0-1.2_s390x.deb 2025-10-28 14:21 CET 12 MiB libcoq-elpi_3.2.0-2_amd64.deb 2025-10-30 11:44 CET 15 MiB
