chiark / gitweb /
docs: add missing maven repos