The package pico-sdk 2.2.0-1 has been removed from kali-dev. -- More information about pico-sdk: https://pkg.kali.org/pkg/pico-sdk
