Files
| drwxr-xr-x | 280 | root | root | /usr/lib64/ocaml/why3 |
| -r--r--r-- | 141 | root | root | /usr/lib64/ocaml/why3/META |
| -rw-r--r-- | 9438062 | root | root | /usr/lib64/ocaml/why3/why3.cma |
| -rw-r--r-- | 1085035 | root | root | /usr/lib64/ocaml/why3/why3.cmi |
| -rw-r--r-- | 30419 | root | root | /usr/lib64/ocaml/why3/why3extract.cma |
| -rw-r--r-- | 12190 | root | root | /usr/lib64/ocaml/why3/why3extract.cmi |
