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.orig.tar.gz 2025-03-18 13:33 CET 728 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+b1_amd64.deb 2025-08-26 12:09 CEST 12 MiB libcoq-elpi_2.5.0-1.1+b1_arm64.deb 2025-08-26 12:24 CEST 12 MiB libcoq-elpi_2.5.0-1.1+b1_ppc64el.deb 2025-08-26 11:43 CEST 12 MiB libcoq-elpi_2.5.0-1.1+b1_riscv64.deb 2025-08-26 14:21 CEST 12 MiB libcoq-elpi_2.5.0-1.1+b1_s390x.deb 2025-08-26 13:40 CEST 12 MiB libcoq-elpi_2.5.0-1.1+b2_amd64.deb 2025-09-11 17:19 CEST 12 MiB libcoq-elpi_2.5.0-1.1+b2_arm64.deb 2025-09-11 17:25 CEST 12 MiB libcoq-elpi_2.5.0-1.1+b2_ppc64el.deb 2025-09-11 17:14 CEST 12 MiB libcoq-elpi_2.5.0-1.1+b2_riscv64.deb 2025-09-11 21:46 CEST 12 MiB libcoq-elpi_2.5.0-1.1+b2_s390x.deb 2025-09-12 03:26 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
