| File Name ↓ | File Size ↓ | Date ↓ | |
|---|---|---|---|
| Parent directory/ | - | - | |
| elpi-dbgsym_1.16.5-1_powerpc.deb | 44196 | 2022-Jul-19 15:03 | |
| elpi_1.16.5-1_powerpc.buildinfo | 7841 | 2022-Jul-19 15:03 | |
| elpi_1.16.5-1_powerpc.deb | 407948 | 2022-Jul-19 15:03 | |
| libelpi-ocaml-dev-dbgsym_1.16.5-1_powerpc.deb | 23900 | 2022-Jul-19 15:03 | |
| libelpi-ocaml-dev_1.16.5-1_powerpc.deb | 7243692 | 2022-Jul-19 15:03 | |
| libelpi-ocaml_1.16.5-1_powerpc.deb | 4112536 | 2022-Jul-19 15:03 | |