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

File Name ↓	File Size ↓	Date ↓
Parent directory/	-	-
pico-sdk_2.1.1-1_x32.buildinfo	6.4 KiB	18.03.2025 06:03
pioasm_2.1.1-1_x32.deb	101.9 KiB	18.03.2025 06:03
pioasm-dbgsym_2.1.1-1_x32.deb	1.6 MiB	18.03.2025 06:03