Index of /debian-ports/pool-powerpc/main/e/elpi/

../
elpi-dbgsym_1.16.5-1_powerpc.deb                   19-Jul-2022 15:03     43K
elpi_1.16.5-1_powerpc.buildinfo                    19-Jul-2022 15:03    7841
elpi_1.16.5-1_powerpc.deb                          19-Jul-2022 15:03    398K
libelpi-ocaml-dev-dbgsym_1.16.5-1_powerpc.deb      19-Jul-2022 15:03     23K
libelpi-ocaml-dev_1.16.5-1_powerpc.deb             19-Jul-2022 15:03      7M
libelpi-ocaml_1.16.5-1_powerpc.deb                 19-Jul-2022 15:03      4M