Our ARM infrastructure is unreachable at the moment, so CI jobs will time-out and packages will not be updated until the servers are back.
Review very welcome. I'm not sure if my changes to the pkg-config provides system are acceptable.
Closes #10076
