pico-sdk (1.5.1-1) unstable; urgency=medium

  * Initial release. (closes: #1069293)

 -- Johannes Schauer Marin Rodrigues <josch@debian.org>  Fri, 19 Apr 2024 15:45:29 +0200
