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

../
elpi-dbgsym_1.17.0-1+b3_ppc64.deb                                                                                        27-Aug-2023 18:03    406K
elpi_1.17.0-1+b3_ppc64.buildinfo                                                                                         27-Aug-2023 18:03     10K
elpi_1.17.0-1+b3_ppc64.deb                                                                                               27-Aug-2023 18:03      1M
libelpi-ocaml-dbgsym_1.17.0-1+b3_ppc64.deb                                                                               27-Aug-2023 18:03    171K
libelpi-ocaml-dev-dbgsym_1.17.0-1+b3_ppc64.deb                                                                           27-Aug-2023 18:03    810K
libelpi-ocaml-dev_1.17.0-1+b3_ppc64.deb                                                                                  27-Aug-2023 18:03      9M
libelpi-ocaml_1.17.0-1+b3_ppc64.deb                                                                                      27-Aug-2023 18:03      4M