MarsSeed [1] filed a request to merge raspberry-pico-sdk-git [2] into pico-sdk-git [3]:
Package name got harmonized with the stable AUR/pico-sdk package, and with upstream's Git repo name. [1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/raspberry-pico-sdk-git/ [3] https://aur.archlinux.org/pkgbase/pico-sdk-git/
