chiark / gitweb /
Update to package and install scripts to make them cleaner and better.