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

../
elpi-dbgsym_1.16.5-1_powerpc.deb                   19-Jul-2022 06:03               44196
elpi_1.16.5-1_powerpc.buildinfo                    19-Jul-2022 06:03                7841
elpi_1.16.5-1_powerpc.deb                          19-Jul-2022 06:03              407948
libelpi-ocaml-dev-dbgsym_1.16.5-1_powerpc.deb      19-Jul-2022 06:03               23900
libelpi-ocaml-dev_1.16.5-1_powerpc.deb             19-Jul-2022 06:03             7243692
libelpi-ocaml_1.16.5-1_powerpc.deb                 19-Jul-2022 06:03             4112536