chiark / gitweb /
purge references to 'frozen' distribution, which doesn't exist anymore