| 0001-fix-for-https-github.com-raspberrypi-pico-sdk-issues.patch |
fix for https://github.com/raspberrypi/pico-sdk/issues/1690 |
Johannes Schauer Marin Rodrigues <josch@debian.org> |
not-needed |
debian
|
|
2025-03-16 |
| 0002-replace-external-google-stylesheet-with-Debian-packa.patch |
replace external google stylesheet with Debian packaged version |
Johannes Schauer Marin Rodrigues <josch@debian.org> |
not-needed |
|
|
2025-03-16 |
| 0003-reproducible_doxygen.patch |
reproducible_doxygen |
Johannes Schauer Marin Rodrigues <josch@debian.org> |
no |
|
|
2025-03-16 |
