Upgrade to Ubuntu Jammy (22.04)
Upgrade to Ubuntu Jammy (22.04)

The new LTS release has been out for over 6 months. It's time to use the
latest and greatest.

omegaup/hook_tools,omegaup/hook_tools,omegaup/hook_tools