chiark / gitweb /
packaging: install more stuff