| Permissions | Size | Name |
|---|---|---|
| drwxr-xr-x | 11 |  .. |
| -rw-r--r-- | 990 |  cons_virtual_derivation.cc |
| -rw-r--r-- | 1418 | what-1.cc |
| -rw-r--r-- | 1279 | what-2.cc |
| -rw-r--r-- | 1973 | what-3.cc |
| -rw-r--r-- | 1171 | what-big.cc |
| Permissions | Size | Name |
|---|---|---|
| drwxr-xr-x | 11 | .. |
| -rw-r--r-- | 990 | cons_virtual_derivation.cc |
| -rw-r--r-- | 1418 | what-1.cc |
| -rw-r--r-- | 1279 | what-2.cc |
| -rw-r--r-- | 1973 | what-3.cc |
| -rw-r--r-- | 1171 | what-big.cc |