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

File Name  ↓	File Size  ↓	Date  ↓
Parent directory/	-	-
pico-sdk_1.5.1.orig.tar.gz	1000.8 KiB	2024-Jun-02 01:23
pico-sdk_1.5.1-4.dsc	2.2 KiB	2024-Jun-06 07:43
pico-sdk_1.5.1-4.debian.tar.xz	11.6 KiB	2024-Jun-06 07:43