chiark / gitweb /
CI: Use pip install to grab all deps