ESP32: Outdated version keeps being downlaoded?

Development Platforms
1

I’ve cloned a project that was written using >3.0x Arduino library for ESP32.

After cloning, pio downloads supposedly version 3.20017.0, but the esp32-hal-ledc.h has copyright 2016 and has old api calls (LedcAttachPin and such).

I have checked that the library downloaded indeec has v3.20017.0 in the manifest, but old source code in the includes. It used to work before. How to fix that?

platformio.ini:

[env:esp32dev]
platform = espressif32
framework = arduino
board = esp32dev
upload_port = COM4
monitor_port = COM4
monitor_speed = 115200
2