mirror of
https://github.com/raspberrypi/pico-sdk.git
synced 2025-02-15 03:40:15 +00:00
8 lines
285 B
XML
8 lines
285 B
XML
<?xml version="1.0" encoding="utf-8"?>
|
|
<packages>
|
|
<package id="gcc-arm-embedded" version="10.2.1" />
|
|
<package id="cmake" version="3.25.2" installArguments="ADD_CMAKE_TO_PATH=System" />
|
|
<package id="mingw" version="12.2.0" />
|
|
<package id="ninja" version="1.11.1" />
|
|
</packages>
|