| lrwxrwxrwx | 10 | root |
root |
/usr/bin/coqide
|
| -rwxr-xr-x | 14131456 | root |
root |
/usr/bin/coqide.byte
|
| -rwxr-xr-x | 9852636 | root |
root |
/usr/bin/coqide.opt
|
| drwxr-xr-x | 4096 | root |
root |
/usr/share/coq
|
| -rw-r--r-- | 219 | root |
root |
/usr/share/applications/fedora-coqide.desktop
|
| drwxr-xr-x | 4096 | root |
root |
/usr/share/coq/ide
|
| -rw-r--r-- | 1127 | root |
root |
/usr/share/coq/ide/.coqide-gtk2rc
|
| -rw-r--r-- | 3157 | root |
root |
/usr/share/coq/ide/FAQ
|
| -rw-r--r-- | 6269 | root |
root |
/usr/share/coq/ide/coq.png
|
| drwxr-xr-x | 4096 | root |
root |
/usr/share/doc/coq-coqide-8.2pl1
|
| -rw-r--r-- | 4624 | root |
root |
/usr/share/doc/coq-coqide-8.2pl1/INSTALL.ide
|
