debian/tmp/usr/share/survex/ debian/tmp/usr/share/mime-info/ debian/tmp/usr/bin/ debian/tmp/usr/share/man/ debian/tmp/usr/share/doc/survex