directory /debian/prefs/ @ 36380:fd2f66e5d7c9

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