When downloading an RPM, warn the user first if they don't have the
[zeroinstall.git] / debian / 
treed757def9554db14bbacf051fe75cef6e72292dc1
drwxr-xr-x   ..
-rw-r--r-- 1397 changelog
-rw-r--r-- 2 compat
-rw-r--r-- 640 control
-rw-r--r-- 457 copyright
-rw-r--r-- 7 docs
-rwxr-xr-x 930 rules