Merge "fix right install location in debian packaging" into devel
[tools/mic.git] / debian /
drwxr-xr-x   ..
-rw-r--r-- 14198 changelog
-rw-r--r-- 2 compat
-rw-r--r-- 1336 control
-rw-r--r-- 1555 copyright
-rw-r--r-- 29 docs
-rw-r--r-- 19 mic-native.install
-rw-r--r-- 52 mic.install
-rwxr-xr-x 1421 rules