diff --git a/math/proof-assistant/requirements.txt b/math/proof-assistant/requirements.txt index f37d933..6e712b2 100644 --- a/math/proof-assistant/requirements.txt +++ b/math/proof-assistant/requirements.txt @@ -1,7 +1,7 @@ altair==5.5.0 attrs==25.3.0 blinker==1.9.0 -cachetools==6.2.0 +cachetools==6.2.6 certifi==2025.8.3 charset-normalizer==3.4.9 click==8.1.8