Files
lrwxrwxrwx | 10 | root | root | /usr/bin/coqide |
-rwxr-xr-x | 8953797 | root | root | /usr/bin/coqide.byte |
-rwxr-xr-x | 9659124 | root | root | /usr/bin/coqide.opt |
drwxr-xr-x | 4096 | root | root | /usr/lib/coq/ide |
-rw-r--r-- | 1127 | root | root | /usr/lib/coq/ide/.coqide-gtk2rc |
-rw-r--r-- | 3157 | root | root | /usr/lib/coq/ide/FAQ |
-rw-r--r-- | 6269 | root | root | /usr/lib/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 |