Outdated pyodide version breaking typing-extensions import.

[superlopuh]

Describe the bug

Our project uses a new feature in typing-extensions (TypeForm). I'm not sure when it was introduced, but it's included in the latest version (4.15.0), which is also the version included in version 0.29.0 of Pyodide. If I understand correctly, the current version of Pyodide used by Marimo (0.27.7) has an outdated version of typing-extensions, but because it's installed it doesn't attempt to install it again when installing our package.

When I use a locally-built wheel of our package and install it directly with micropip it works fine, but it would be nice for the Pypi version of xdsl to work again.

I'm happy to open a PR to update the version of Pyodide to 0.29.0 but I'm not sure if it's just the version string that needs updating.

Will you submit a PR?

• Yes

Environment

wasm

Code to reproduce

https://marimo.app/#code/JYWwDg9gTgLgBCAhlUEBQaD6mDmBTAOzykRjwBNMB3YGACzgF44AiAVwIGsCIqCW0iMGCYJkqAHQBBYQAoAlBjQABIWAkBjPABttacngBmcTAoBcaOFbihIsMShAQ4iAM4J01uFDww2UAiVVYU0dPQNjU3kLL1toeAAPclc9Lx8-AKC1UN19IxNzS2tDKAgQOCSUiWAocm0bcHi4AEkAJQARABkAeTBiUmAIQLTff0CMYPUtXIiC6KKrdLGlYEjMAkQQPGwmZhZsJGACbBYY62yoDgU0IA

[mscolnick]

Unfortunately we haven't been able to upgrade pyodide for quite some time (see #5995), because of the breaking changes:

BREAKING CHANGE The following packages are removed from the Pyodide distribution because of the build issues. We will try to fix them in the future:
arro3-compute
arro3-core
arro3-io
Cartopy
duckdb
gensim
geopandas
mne
osqp
polars
pyarrow
pygame-ce
pyproj
zarr