Cant find `nano.specs` when building

Whenever I try to build the example project for my pi pico, I get the following output, including an error about not finding nano.specs:

Log:
Executing task: platformio run 

Processing pico (board: pico; platform: raspberrypi; framework: arduino)
---------------------------------------------------------------------------------------------------------------------------------------------------------------------------
Verbose mode can be enabled via `-v, --verbose` option
CONFIGURATION: https://docs.platformio.org/page/boards/raspberrypi/pico.html
PLATFORM: Raspberry Pi RP2040 (1.13.0) > Raspberry Pi Pico
HARDWARE: RP2040 133MHz, 264KB RAM, 2MB Flash
DEBUG: Current (cmsis-dap) External (cmsis-dap, jlink, raspberrypi-swd)
PACKAGES: 
 - framework-arduino-mbed @ 4.1.3 
 - tool-rp2040tools @ 1.0.2 
 - toolchain-gccarmnoneeabi @ 1.90201.191206 (9.2.1)
LDF: Library Dependency Finder -> https://bit.ly/configure-pio-ldf
LDF Modes: Finder ~ chain, Compatibility ~ soft
Found 42 compatible libraries
Scanning dependencies...
No dependencies
Building in release mode
Linking .pio/build/pico/firmware.elf
arm-none-eabi-g++: fatal error: cannot read spec file 'nano.specs': No such file or directory
compilation terminated.
*** [.pio/build/pico/firmware.elf] Error 1
======================================================================= [FAILED] Took 0.93 seconds =======================================================================

I am using VSCode on Ubuntu 24.04, and I have installed gcc-arm-none-eabi. I’m not sure what could be the issue. My project looks the following:

src/main.cpp
#include <Arduino.h>

// the setup routine runs once when you press reset:
void setup() {
  // initialize the digital pin as an output.
  pinMode(LED_BUILTIN, OUTPUT);
}

// the loop routine runs over and over again forever:
void loop() {
  digitalWrite(LED_BUILTIN, HIGH);   // turn the LED on (HIGH is the voltage level)
  delay(1000);               // wait for a second
  digitalWrite(LED_BUILTIN, LOW);    // turn the LED off by making the voltage LOW
  delay(1000);               // wait for a second
}
platformio.ini
; PlatformIO Project Configuration File
;
;   Build options: build flags, source filter, extra scripting
;   Upload options: custom port, speed and extra flags
;   Library options: dependencies, extra library storages
;
; Please visit documentation for the other options and examples
; https://docs.platformio.org/page/projectconf.html
[env:pico]
board = pico
platform = raspberrypi
framework = arduino

Regards,
Bruce

Do

rm -rf ~/.platformio/packages/toolchain-gccarmnoneeabi*

and retry building. Looks like a corrupt toolchain.

There was no such folder on my machine, so I ran

rm -rf ~/.platformio/packages/*

It seems like this fixed the issue, thanks!