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


../
pico-sdk_1.5.1-4.debian.tar.xz                     05-Jun-2024 23:43               11872
pico-sdk_1.5.1-4.dsc                               05-Jun-2024 23:43                2258
pico-sdk_1.5.1.orig.tar.gz                         01-Jun-2024 17:23             1024817