chiark / gitweb /
CI: Bump image, now has -dev and gcc