mirror of
https://github.com/raspberrypi/pico-sdk.git
synced 2026-03-14 21:19:43 +01:00
6 lines
199 B
XML
6 lines
199 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" />
|
|
<package id="ninja" version="1.12.1" />
|
|
</packages>
|