directory /debian/prefs/ @ 32877:a095a4ed8ad3

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--