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

Name Size Date
📁 ../ - -
📄 elpi-dbgsym_1.16.5-1_alpha.deb 42344 bytes 2022-07-19 00:03:15
📄 elpi_1.16.5-1_alpha.buildinfo 7740 bytes 2022-07-19 00:03:15
📄 elpi_1.16.5-1_alpha.deb 409572 bytes 2022-07-19 00:03:15
📄 libelpi-ocaml-dev-dbgsym_1.16.5-1_alpha.deb 23060 bytes 2022-07-19 00:03:15
📄 libelpi-ocaml-dev_1.16.5-1_alpha.deb 7245260 bytes 2022-07-19 00:03:15
📄 libelpi-ocaml_1.16.5-1_alpha.deb 4112532 bytes 2022-07-19 00:03:15