directory /debian/prefs/ @ 35811:2ce01f3d3b37

name size permissions
[up] drwxr-xr-x
file MD5SUMS 2145 -rw-r--r--
file codecs_list 270 -rw-r--r--
file mirrors 238 -rw-r--r--