chiark / gitweb /
jenkins-build: switch buildserver to new 64-bit base