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             1657756
pioasm_2.0.0-2_x32.deb                             12-Sep-2024 00:03              103928