Index of /dsk0/ftp.debian.org/pool/main/p/pico-sdk

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory   -  
[ ]pico-sdk-source_1.5...>2024-06-05 20:25 2.6M 
[ ]pico-sdk_1.5.1-4.deb..>2024-06-05 19:20 12K 
[TXT]pico-sdk_1.5.1-4.dsc 2024-06-05 19:20 2.2K 
[ ]pico-sdk_1.5.1.orig...>2024-05-04 00:18 1.0M