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

../
pico-sdk_2.2.0-2_x32.buildinfo                     20-Apr-2026 00:03                6617
pioasm-dbgsym_2.2.0-2_x32.deb                      20-Apr-2026 00:03             1685568
pioasm_2.2.0-2_x32.deb                             20-Apr-2026 00:03              112080