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

../
elpi-dbgsym_1.16.5-1_alpha.deb                     19-Jul-2022 00:03               42344
elpi_1.16.5-1_alpha.buildinfo                      19-Jul-2022 00:03                7740
elpi_1.16.5-1_alpha.deb                            19-Jul-2022 00:03              409572
libelpi-ocaml-dev-dbgsym_1.16.5-1_alpha.deb        19-Jul-2022 00:03               23060
libelpi-ocaml-dev_1.16.5-1_alpha.deb               19-Jul-2022 00:03             7245260
libelpi-ocaml_1.16.5-1_alpha.deb                   19-Jul-2022 00:03             4112532