Index of:

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

../
pico-sdk_2.0.0-2.debian.tar.xz                     13-Sep-2024 17:16               10364
pico-sdk_2.0.0-2.dsc                               13-Sep-2024 17:16                2246
pico-sdk_2.0.0.orig.tar.gz                         13-Sep-2024 17:16             2345905