0001-fix-for-https-github.com-raspberrypi-pico-sdk-issues.patch
0002-replace-external-google-stylesheet-with-Debian-packa.patch
0003-reproducible_doxygen.patch
