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

../
pico-sdk_2.2.0-3_x32.buildinfo                     14-Jun-2026 06:03                6689
pioasm-dbgsym_2.2.0-3_x32.deb                      14-Jun-2026 06:03             1685532
pioasm_2.2.0-3_x32.deb                             14-Jun-2026 06:03              112136