File Name ↓	File Size ↓	Date ↓
Parent directory/	-	-
coq-elpi_1.16.0-2.dsc	2.0 KiB	2023-01-25 08:56
coq-elpi_2.5.0-1.2.dsc	2.0 KiB	2025-10-28 14:55
coq-elpi_2.5.0-1.1.dsc	2.0 KiB	2025-06-17 09:00
coq-elpi_3.2.0-3.dsc	2.0 KiB	2025-11-11 19:40
coq-elpi_1.16.0-2.debian.tar.xz	3.3 KiB	2023-01-25 08:56
coq-elpi_3.2.0-3.debian.tar.xz	3.8 KiB	2025-11-11 19:40
coq-elpi_2.5.0-1.1.debian.tar.xz	3.8 KiB	2025-06-17 09:00
coq-elpi_2.5.0-1.2.debian.tar.xz	3.8 KiB	2025-10-28 14:55
coq-elpi_1.16.0.orig.tar.gz	416.2 KiB	2022-11-20 17:35
coq-elpi_2.5.0.orig.tar.gz	728.5 KiB	2025-03-18 14:33
coq-elpi_3.2.0.orig.tar.gz	748.7 KiB	2025-10-30 12:44
libcoq-elpi_1.16.0-2+b1_i386.deb	2.2 MiB	2023-02-14 11:49
libcoq-elpi_1.16.0-2+b1_amd64.deb	2.3 MiB	2023-02-14 11:59
libcoq-elpi_1.16.0-2+b1_ppc64el.deb	2.3 MiB	2023-02-14 12:44
libcoq-elpi_1.16.0-2+b1_arm64.deb	2.4 MiB	2023-02-14 11:59
libcoq-elpi_2.5.0-1.2+b2_amd64.deb	11.6 MiB	2025-12-28 06:45
libcoq-elpi_2.5.0-1.1_amd64.deb	11.7 MiB	2025-06-17 09:16
libcoq-elpi_2.5.0-1.2+b2_ppc64el.deb	11.8 MiB	2025-12-28 06:45
libcoq-elpi_2.5.0-1.1_ppc64el.deb	11.8 MiB	2025-06-17 09:15
libcoq-elpi_2.5.0-1.2+b2_arm64.deb	12.2 MiB	2025-12-28 06:45
libcoq-elpi_2.5.0-1.1_arm64.deb	12.2 MiB	2025-06-17 09:21
libcoq-elpi_2.5.0-1.2+b2_riscv64.deb	12.2 MiB	2025-12-28 09:17
libcoq-elpi_2.5.0-1.1_riscv64.deb	12.3 MiB	2025-06-17 09:36
libcoq-elpi_3.2.0-3_amd64.deb	16.1 MiB	2025-11-11 19:40