Index of /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
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