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

../
elpi-dbgsym_1.18.2-4_ppc64.deb                     19-Jun-2024 00:03              414232
elpi_1.18.2-4_ppc64.buildinfo                      19-Jun-2024 00:03               11082
elpi_1.18.2-4_ppc64.deb                            19-Jun-2024 00:03             1487664
libelpi-ocaml-dbgsym_1.18.2-4_ppc64.deb            19-Jun-2024 00:03              177180
libelpi-ocaml-dev-dbgsym_1.18.2-4_ppc64.deb        19-Jun-2024 00:03              875480
libelpi-ocaml-dev_1.18.2-4_ppc64.deb               19-Jun-2024 00:03             9849460
libelpi-ocaml_1.18.2-4_ppc64.deb                   19-Jun-2024 00:03             3892984