Files
| -rwxr-xr-x | 32336 | root | root | /usr/bin/cvc3 |
| lrwxrwxrwx | 16 | root | root | /usr/lib64/libcvc3.so.2 |
| lrwxrwxrwx | 16 | root | root | /usr/lib64/libcvc3.so.2.1 |
| -rwxr-xr-x | 5660328 | root | root | /usr/lib64/libcvc3.so.2.1.1 |
| drwxr-xr-x | 4096 | root | root | /usr/share/doc/cvc3-2.2 |
| -rw-r--r-- | 19584 | root | root | /usr/share/doc/cvc3-2.2/INSTALL |
| -rw-r--r-- | 2239 | root | root | /usr/share/doc/cvc3-2.2/LICENSE |
| -rw-r--r-- | 856 | root | root | /usr/share/doc/cvc3-2.2/PEOPLE |
| -rw-r--r-- | 357 | root | root | /usr/share/doc/cvc3-2.2/README |
| -rw-r--r-- | 4 | root | root | /usr/share/doc/cvc3-2.2/VERSION |
