directory /auto/ @ 635:5d94f8b3e01d

name size permissions
[up] drwxr-xr-x
dir. cc/ drwxr-xr-x
dir. lib/ drwxr-xr-x
dir. os/ drwxr-xr-x
dir. types/ drwxr-xr-x
file define 113 -rw-r--r--
file endianess 800 -rw-r--r--
file feature 2776 -rw-r--r--
file have 108 -rw-r--r--
file have_headers 109 -rw-r--r--
file headers 383 -rw-r--r--
file include 1046 -rw-r--r--
file init 717 -rw-r--r--
file install 3940 -rw-r--r--
file make 10921 -rw-r--r--
file modules 12344 -rw-r--r--
file nohave 108 -rw-r--r--
file options 18158 -rw-r--r--
file sources 16608 -rw-r--r--
file stubs 92 -rw-r--r--
file summary 2929 -rw-r--r--
file unix 17483 -rwxr-xr-x