Vagrant VM: updating apt packages#1228

gusthoff merged 1 commit intoAdaCore:masterAdaCore/learn:masterfrom

gusthoff:topic/infrastructure/vagrant/20250530/vm_apt_updategusthoff/ada-learning-material:topic/infrastructure/vagrant/20250530/vm_apt_updateCopy head branch name to clipboard