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

../
elpi-dbgsym_1.16.5-1_powerpc.deb                                                                                         19-Jul-2022 06:03     43K
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    398K
libelpi-ocaml-dev-dbgsym_1.16.5-1_powerpc.deb                                                                            19-Jul-2022 06:03     23K
libelpi-ocaml-dev_1.16.5-1_powerpc.deb                                                                                   19-Jul-2022 06:03      7M
libelpi-ocaml_1.16.5-1_powerpc.deb                                                                                       19-Jul-2022 06:03      4M