Files
| lrwxrwxrwx | 10 | root | root | /usr/bin/coqide |
| -rwxr-xr-x | 8892459 | root | root | /usr/bin/coqide.byte |
| -rwxr-xr-x | 12929064 | root | root | /usr/bin/coqide.opt |
| drwxr-xr-x | 4096 | root | root | /usr/lib64/coq/ide |
| -rw-r--r-- | 1127 | root | root | /usr/lib64/coq/ide/.coqide-gtk2rc |
| -rw-r--r-- | 3157 | root | root | /usr/lib64/coq/ide/FAQ |
| -rw-r--r-- | 6269 | root | root | /usr/lib64/coq/ide/coq.png |
| drwxr-xr-x | 4096 | root | root | /usr/share/doc/coq-ide |
| -rw-r----- | 4624 | root | root | /usr/share/doc/coq-ide/INSTALL.ide |
