mirror of
https://github.com/raspberrypi/pico-sdk.git
synced 2025-12-10 07:14:36 +01:00
5 lines
157 B
XML
5 lines
157 B
XML
<?xml version="1.0" encoding="utf-8"?>
|
|
<packages>
|
|
<package id="gcc-arm-embedded" version="10.2.1" />
|
|
<package id="mingw" version="12.2.0" />
|
|
</packages>
|