lrwxrwxrwx | 10 | root |
root |
/usr/bin/coqide
|
-rwxr-xr-x | 8951447 | root |
root |
/usr/bin/coqide.byte
|
-rwxr-xr-x | 8722952 | root |
root |
/usr/bin/coqide.opt
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib64/coq/ide
|
-rw-r----- | 1127 | root |
root |
/usr/lib64/coq/ide/.coqide-gtk2rc
|
-rw-r----- | 3157 | root |
root |
/usr/lib64/coq/ide/FAQ
|
-rw-r----- | 9101 | root |
root |
/usr/lib64/coq/ide/coq.png
|
-rw-r----- | 2445 | root |
root |
/usr/lib64/coq/ide/utf8.v
|
-rw-r--r-- | 4802 | root |
root |
/usr/lib64/coq/ide/utf8.vo
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/doc/coq-ide
|
-rw-r----- | 3034 | root |
root |
/usr/share/doc/coq-ide/INSTALL.ide
|