Python: updating some packages#1240

gusthoff merged 1 commit intoAdaCore:masterAdaCore/learn:masterfrom

gusthoff:topic/infrastructure/sphinx/updates/20250627gusthoff/ada-learning-material:topic/infrastructure/sphinx/updates/20250627Copy head branch name to clipboard