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

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