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