directory /cbmc/ @ 29:073de2e0c148

name size permissions
[up] drwxr-xr-x
file Dockerfile 276 -rw-r--r--
file README 183 -rw-r--r--