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

../
elpi-dbgsym_1.17.0-1+b3_ppc64.deb                  28-Aug-2023 02:03              415800
elpi_1.17.0-1+b3_ppc64.buildinfo                   28-Aug-2023 02:03               10327
elpi_1.17.0-1+b3_ppc64.deb                         28-Aug-2023 02:03             1494352
libelpi-ocaml-dbgsym_1.17.0-1+b3_ppc64.deb         28-Aug-2023 02:03              175260
libelpi-ocaml-dev-dbgsym_1.17.0-1+b3_ppc64.deb     28-Aug-2023 02:03              829032
libelpi-ocaml-dev_1.17.0-1+b3_ppc64.deb            28-Aug-2023 02:03             9401448
libelpi-ocaml_1.17.0-1+b3_ppc64.deb                28-Aug-2023 02:03             3797948