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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
pico-sdk_2.0.0-2.debian.tar.xz10.1 KiBSeptember 13, 2024
pico-sdk_2.0.0.orig.tar.gz2.2 MiBSeptember 13, 2024
pico-sdk_2.0.0-2.dsc2.2 KiBSeptember 13, 2024