Vagrant VM: updating Ubuntu box version#1296

gusthoff merged 1 commit intoAdaCore:mainAdaCore/learn:mainfrom

gusthoff:topic/infrastructure/vagrant/20251227gusthoff/ada-learning-material:topic/infrastructure/vagrant/20251227Copy head branch name to clipboard