| lrwxrwxrwx | 10 | root |
root |
/usr/bin/coqide
|
| -rwxr-xr-x | 7835094 | root |
root |
/usr/bin/coqide.byte
|
| -rwxr-xr-x | 10563472 | 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-- | 1795 | root |
root |
/usr/lib64/coq/ide/command_windows.cmi
|
| -rw-r--r-- | 1458 | root |
root |
/usr/lib64/coq/ide/config_lexer.cmi
|
| -rw-r--r-- | 912 | root |
root |
/usr/lib64/coq/ide/config_parser.cmi
|
| -rw-r--r-- | 5045 | root |
root |
/usr/lib64/coq/ide/coq.cmi
|
| -rw-r--r-- | 6269 | root |
root |
/usr/lib64/coq/ide/coq.png
|
| -rw-r--r-- | 341 | root |
root |
/usr/lib64/coq/ide/coq_commands.cmi
|
| -rw-r--r-- | 1731 | root |
root |
/usr/lib64/coq/ide/coq_lex.cmi
|
| -rw-r--r-- | 211 | root |
root |
/usr/lib64/coq/ide/coq_tactics.cmi
|
| -rw-r--r-- | 200 | root |
root |
/usr/lib64/coq/ide/coqide.cmi
|
| -rw-r--r-- | 2746 | root |
root |
/usr/lib64/coq/ide/gtk_parsing.cmi
|
| -rw-r--r-- | 1827680 | root |
root |
/usr/lib64/coq/ide/ide.a
|
| -rw-r--r-- | 1642757 | root |
root |
/usr/lib64/coq/ide/ide.cma
|
| -rw-r--r-- | 34777 | root |
root |
/usr/lib64/coq/ide/ide.cmxa
|
| -rw-r--r-- | 5503 | root |
root |
/usr/lib64/coq/ide/ideutils.cmi
|
| -rw-r--r-- | 2593 | root |
root |
/usr/lib64/coq/ide/preferences.cmi
|
| -rw-r--r-- | 1761 | root |
root |
/usr/lib64/coq/ide/tags.cmi
|
| -rw-r--r-- | 14739 | root |
root |
/usr/lib64/coq/ide/typed_notebook.cmi
|
| -rw-r--r-- | 18133 | root |
root |
/usr/lib64/coq/ide/undo.cmi
|
| -rw-r--r-- | 619 | root |
root |
/usr/lib64/coq/ide/utf8_convert.cmi
|
| drwxr-xr-x | 4096 | root |
root |
/usr/lib64/coq/ide/utils
|
| -rw-r--r-- | 55884 | root |
root |
/usr/lib64/coq/ide/utils/config_file.cmi
|
| -rw-r--r-- | 12774 | root |
root |
/usr/lib64/coq/ide/utils/configwin.cmi
|
| -rw-r--r-- | 76155 | root |
root |
/usr/lib64/coq/ide/utils/configwin_ihm.cmi
|
| -rw-r--r-- | 51365 | root |
root |
/usr/lib64/coq/ide/utils/configwin_keys.cmi
|
| -rw-r--r-- | 896 | root |
root |
/usr/lib64/coq/ide/utils/configwin_messages.cmi
|
| -rw-r--r-- | 13700 | root |
root |
/usr/lib64/coq/ide/utils/configwin_types.cmi
|
| -rw-r--r-- | 1374 | root |
root |
/usr/lib64/coq/ide/utils/editable_cells.cmi
|
| -rw-r--r-- | 3922 | root |
root |
/usr/lib64/coq/ide/utils/okey.cmi
|
| drwxr-xr-x | 4096 | root |
root |
/usr/share/doc/coq-ide
|
| -rw-r----- | 4542 | root |
root |
/usr/share/doc/coq-ide/INSTALL.ide
|
