Index of /pub/linux/ubuntu/pool/universe/p/pico-sdk/

Filename	Modification time	Size
pico-sdk_2.0.0-2.debian.tar.xz	2024-09-13 19:16 CEST	10 KiB
pico-sdk_2.0.0-2.dsc	2024-09-13 19:16 CEST	2246 B
pico-sdk_2.0.0.orig.tar.gz	2024-09-13 19:16 CEST	2291 KiB