chiark / gitweb /
debman: With a version of debget that supports file: via curl, using it is