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

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_1.19.3-2.debian.tar.xz	2024-01-03 09:01 CET	3644 B
coq-elpi_1.19.3-2.dsc	2024-01-03 09:01 CET	1799 B
coq-elpi_1.19.3.orig.tar.gz	2023-12-22 11:16 CET	558 KiB
coq-elpi_2.1.0-1.debian.tar.xz	2024-04-26 15:46 CEST	3656 B
coq-elpi_2.1.0-1.dsc	2024-04-26 15:46 CEST	2023 B
coq-elpi_2.1.0.orig.tar.gz	2024-04-26 15:46 CEST	699 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_1.19.3-2+b1_amd64.deb	2024-02-16 13:12 CET	2516 KiB
libcoq-elpi_1.19.3-2+b1_arm64.deb	2024-02-16 12:42 CET	2602 KiB
libcoq-elpi_1.19.3-2+b1_armhf.deb	2024-02-16 12:41 CET	2502 KiB
libcoq-elpi_1.19.3-2+b1_i386.deb	2024-02-16 13:07 CET	2434 KiB
libcoq-elpi_1.19.3-2+b1_ppc64el.deb	2024-02-16 12:36 CET	2528 KiB
libcoq-elpi_1.19.3-2+b1_s390x.deb	2024-02-16 12:36 CET	2533 KiB
libcoq-elpi_1.19.3-2+b2_armhf.deb	2024-03-26 16:33 CET	2502 KiB
libcoq-elpi_1.19.3-2+b2_s390x.deb	2024-03-19 21:54 CET	2534 KiB
libcoq-elpi_2.1.0-1_amd64.deb	2024-04-28 00:03 CEST	3383 KiB
libcoq-elpi_2.1.0-1_arm64.deb	2024-04-28 00:03 CEST	3515 KiB
libcoq-elpi_2.1.0-1_i386.deb	2024-04-27 19:44 CEST	3266 KiB
libcoq-elpi_2.1.0-1_ppc64el.deb	2024-04-27 19:07 CEST	3424 KiB
libcoq-elpi_2.1.0-1_riscv64.deb	2024-04-27 20:12 CEST	3412 KiB