Files
| -rwxr-xr-x | 33720 | root | root | /usr/bin/cvc3 |
| lrwxrwxrwx | 16 | root | root | /usr/lib/libcvc3.so.5 |
| lrwxrwxrwx | 16 | root | root | /usr/lib/libcvc3.so.5.0 |
| -rwxr-xr-x | 6230636 | root | root | /usr/lib/libcvc3.so.5.0.0 |
| drwxr-xr-x | 4096 | root | root | /usr/share/doc/cvc3-2.4.1 |
| -rw-r--r-- | 19702 | root | root | /usr/share/doc/cvc3-2.4.1/INSTALL |
| -rw-r--r-- | 2238 | root | root | /usr/share/doc/cvc3-2.4.1/LICENSE |
| -rw-r--r-- | 856 | root | root | /usr/share/doc/cvc3-2.4.1/PEOPLE |
| -rw-r--r-- | 357 | root | root | /usr/share/doc/cvc3-2.4.1/README |
