Index of /debian/pool/main/p/pico-sdk

Icon  Name                            Last modified      Size  
[PARENTDIR] Parent Directory                                     -   
[   ] pico-sdk-source_1.5.1-4_all.deb 2024-06-05 20:25  2.6M  
[   ] pico-sdk_1.5.1-4.debian.tar.xz  2024-06-05 19:20   12K  
[   ] pico-sdk_1.5.1-4.dsc            2024-06-05 19:20  2.2K  
[   ] pico-sdk_1.5.1.orig.tar.gz      2024-05-04 00:18  1.0M
Apache/2.4.41 (Ubuntu) Server at ftp.rrze.uni-erlangen.de Port 80