chiark / gitweb /
travis-ci: move python deps to 3