| drwxr-xr-x | 0 | root |
root |
/etc/xdg/coq
|
| -rwxr-xr-x | 12079536 | root |
root |
/usr/bin/coqide
|
| -rwxr-xr-x | 21579912 | root |
root |
/usr/bin/coqidetop
|
| -rwxr-xr-x | 21579912 | root |
root |
/usr/bin/coqidetop.opt
|
| drwxr-xr-x | 0 | root |
root |
/usr/lib/.build-id
|
| lrwxrwxrwx | 26 | root |
root |
/usr/lib/.build-id/64/c6deab8bf3324274bc191517bce86dae15a863
|
| lrwxrwxrwx | 29 | root |
root |
/usr/lib/.build-id/87/a4ba205eec774c40852edf2921528ce1f96363
|
| lrwxrwxrwx | 33 | root |
root |
/usr/lib/.build-id/87/a4ba205eec774c40852edf2921528ce1f96363.1
|
| drwxr-xr-x | 0 | root |
root |
/usr/lib64/coq/ide
|
| -rw-r--r-- | 1066 | root |
root |
/usr/lib64/coq/ide/config_lexer.cmi
|
| -rw-r--r-- | 4097 | root |
root |
/usr/lib64/coq/ide/configwin.cmi
|
| -rw-r--r-- | 14786 | root |
root |
/usr/lib64/coq/ide/configwin_ihm.cmi
|
| -rw-r--r-- | 1362 | root |
root |
/usr/lib64/coq/ide/configwin_messages.cmi
|
| -rw-r--r-- | 6689 | root |
root |
/usr/lib64/coq/ide/coq.cmi
|
| -rw-r--r-- | 7413 | root |
root |
/usr/lib64/coq/ide/coqOps.cmi
|
| -rw-r--r-- | 490 | root |
root |
/usr/lib64/coq/ide/coq_commands.cmi
|
| -rw-r--r-- | 1375 | root |
root |
/usr/lib64/coq/ide/coq_lex.cmi
|
| -rw-r--r-- | 2177 | root |
root |
/usr/lib64/coq/ide/coqide.cmi
|
| -rw-r--r-- | 1190 | root |
root |
/usr/lib64/coq/ide/coqide_ui.cmi
|
| -rw-r--r-- | 4338 | root |
root |
/usr/lib64/coq/ide/document.cmi
|
| -rw-r--r-- | 3853 | root |
root |
/usr/lib64/coq/ide/fileOps.cmi
|
| -rw-r--r-- | 2222 | root |
root |
/usr/lib64/coq/ide/gtk_parsing.cmi
|
| -rw-r--r-- | 2189204 | root |
root |
/usr/lib64/coq/ide/ide.a
|
| -rw-r--r-- | 73106 | root |
root |
/usr/lib64/coq/ide/ide.cmxa
|
| -rw-r--r-- | 25716 | root |
root |
/usr/lib64/coq/ide/ideutils.cmi
|
| -rw-r--r-- | 3017 | root |
root |
/usr/lib64/coq/ide/microPG.cmi
|
| -rw-r--r-- | 1656 | root |
root |
/usr/lib64/coq/ide/minilib.cmi
|
| -rw-r--r-- | 11381 | root |
root |
/usr/lib64/coq/ide/preferences.cmi
|
| -rw-r--r-- | 1511 | root |
root |
/usr/lib64/coq/ide/sentence.cmi
|
| -rw-r--r-- | 14273 | root |
root |
/usr/lib64/coq/ide/session.cmi
|
| -rw-r--r-- | 2662 | root |
root |
/usr/lib64/coq/ide/tags.cmi
|
| -rw-r--r-- | 456 | root |
root |
/usr/lib64/coq/ide/unicode_bindings.cmi
|
| -rw-r--r-- | 302 | root |
root |
/usr/lib64/coq/ide/utf8_convert.cmi
|
| -rw-r--r-- | 3556 | root |
root |
/usr/lib64/coq/ide/wg_Command.cmi
|
| -rw-r--r-- | 4468 | root |
root |
/usr/lib64/coq/ide/wg_Completion.cmi
|
| -rw-r--r-- | 16399 | root |
root |
/usr/lib64/coq/ide/wg_Detachable.cmi
|
| -rw-r--r-- | 2193 | root |
root |
/usr/lib64/coq/ide/wg_Find.cmi
|
| -rw-r--r-- | 15442 | root |
root |
/usr/lib64/coq/ide/wg_MessageView.cmi
|
| -rw-r--r-- | 18013 | root |
root |
/usr/lib64/coq/ide/wg_Notebook.cmi
|
| -rw-r--r-- | 11691 | root |
root |
/usr/lib64/coq/ide/wg_ProofView.cmi
|
| -rw-r--r-- | 2742 | root |
root |
/usr/lib64/coq/ide/wg_RoutedMessageViews.cmi
|
| -rw-r--r-- | 28204 | root |
root |
/usr/lib64/coq/ide/wg_ScriptView.cmi
|
| -rw-r--r-- | 15145 | root |
root |
/usr/lib64/coq/ide/wg_Segment.cmi
|
| -rw-r--r-- | 158 | root |
root |
/usr/share/applications/coq.desktop
|
| drwxr-xr-x | 0 | root |
root |
/usr/share/doc/coq-ide
|
| -rw-r--r-- | 2514 | root |
root |
/usr/share/doc/coq-ide/FAQ
|
| -rw-r--r-- | 1098 | root |
root |
/usr/share/icons/hicolor/16x16/apps/coq.png
|
| -rw-r--r-- | 13877 | root |
root |
/usr/share/icons/hicolor/256x256/apps/coq.png
|
| -rw-r--r-- | 1693 | root |
root |
/usr/share/icons/hicolor/32x32/apps/coq.png
|
| -rw-r--r-- | 2387 | root |
root |
/usr/share/icons/hicolor/48x48/apps/coq.png
|
