chiark / gitweb /
debian/: Overhaul and fix build arrangements.