Index of /debian-ports/pool-ppc64/main/c/coq-elpi/

../
coq-elpi_2.1.0-1+b1_ppc64.buildinfo                                                                                      04-Aug-2024 06:03    7554
libcoq-elpi-dbgsym_2.1.0-1+b1_ppc64.deb                                                                                  04-Aug-2024 06:03    135K
libcoq-elpi_2.1.0-1+b1_ppc64.deb                                                                                         04-Aug-2024 06:03      3M