Index of /pool/universe/p/pico-sdk

	Name	Last modified	Size
	Parent Directory		-
	pico-sdk_2.0.0-2.debian.tar.xz	2024-09-13 17:16	10K
	pico-sdk_2.0.0-2.dsc	2024-09-13 17:16	2.2K
	pico-sdk_2.0.0.orig.tar.gz	2024-09-13 17:16	2.2M