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

../
pico-sdk_1.5.1-4.debian.tar.xz                     06-Jun-2024 02:43     12K
pico-sdk_1.5.1-4.dsc                               06-Jun-2024 02:43    2258
pico-sdk_1.5.1.orig.tar.gz                         01-Jun-2024 20:23   1001K