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

File Name ↓	File Size ↓	Date ↓
Parent directory/	-	-
pico-sdk_2.2.0-3_x32.buildinfo	6.5 KiB	14.06.2026 06:03
pioasm-dbgsym_2.2.0-3_x32.deb	1.6 MiB	14.06.2026 06:03
pioasm_2.2.0-3_x32.deb	109.5 KiB	14.06.2026 06:03