| lrwxrwxrwx | 10 | root |
root |
/usr/bin/coqide
|
| -rwxr-xr-x | 6203065 | root |
root |
/usr/bin/coqide.byte
|
| -rwxr-xr-x | 7700384 | root |
root |
/usr/bin/coqide.opt
|
| drwxr-xr-x | 180 | 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-- | 96774 | root |
root |
/usr/lib64/coq/ide/coq.ico
|
| -rwxr-xr-x | 1526 | root |
root |
/usr/lib64/coq/ide/coq2.ico
|
| -rw-r--r-- | 2445 | root |
root |
/usr/lib64/coq/ide/utf8.v
|
| -rw-r--r-- | 4936 | root |
root |
/usr/lib64/coq/ide/utf8.vo
|
| drwxr-xr-x | 80 | root |
root |
/usr/share/doc/coq-ide-8.0pl3
|
| -rw-r--r-- | 3034 | root |
root |
/usr/share/doc/coq-ide-8.0pl3/INSTALL.ide
|
