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


../
elpi-dbgsym_1.18.2-4_ppc64.deb                                                                                           19-Jun-2024 00:03    405K
elpi_1.18.2-4_ppc64.buildinfo                                                                                            19-Jun-2024 00:03     11K
elpi_1.18.2-4_ppc64.deb                                                                                                  19-Jun-2024 00:03      1M
libelpi-ocaml-dbgsym_1.18.2-4_ppc64.deb                                                                                  19-Jun-2024 00:03    173K
libelpi-ocaml-dev-dbgsym_1.18.2-4_ppc64.deb                                                                              19-Jun-2024 00:03    855K
libelpi-ocaml-dev_1.18.2-4_ppc64.deb                                                                                     19-Jun-2024 00:03      9M
libelpi-ocaml_1.18.2-4_ppc64.deb                                                                                         19-Jun-2024 00:03      4M