Index of /debian-ports/pool-ppc64/main/p/pico-sdk/

../
pico-sdk_2.0.0-2_ppc64.buildinfo                                                                                         12-Sep-2024 00:03    6565
pioasm-dbgsym_2.0.0-2_ppc64.deb                                                                                          12-Sep-2024 00:03      2M
pioasm_2.0.0-2_ppc64.deb                                                                                                 12-Sep-2024 00:03    101K