| drwxr-xr-x | 0 | root |
root |
/etc/xdg/coq
|
| -rwxr-xr-x | 7820540 | root |
root |
/usr/bin/coqide
|
| drwxr-xr-x | 0 | root |
root |
/usr/lib/.build-id
|
| lrwxrwxrwx | 26 | root |
root |
/usr/lib/.build-id/8e/a1305a82851e41b0be7ca8c1589e3ca8ed21b9
|
| drwxr-xr-x | 0 | root |
root |
/usr/lib/coq/ide
|
| -rw-r--r-- | 2557 | root |
root |
/usr/lib/coq/ide/config_lexer.cmi
|
| -rw-r--r-- | 6816 | root |
root |
/usr/lib/coq/ide/coq.cmi
|
| -rw-r--r-- | 12066 | root |
root |
/usr/lib/coq/ide/coqOps.cmi
|
| -rw-r--r-- | 493 | root |
root |
/usr/lib/coq/ide/coq_commands.cmi
|
| -rw-r--r-- | 2755 | root |
root |
/usr/lib/coq/ide/coq_lex.cmi
|
| -rw-r--r-- | 1210 | root |
root |
/usr/lib/coq/ide/coqide.cmi
|
| -rw-r--r-- | 2941 | root |
root |
/usr/lib/coq/ide/coqide_ui.cmi
|
| -rw-r--r-- | 5009 | root |
root |
/usr/lib/coq/ide/document.cmi
|
| -rw-r--r-- | 4710 | root |
root |
/usr/lib/coq/ide/fileOps.cmi
|
| -rw-r--r-- | 4193 | root |
root |
/usr/lib/coq/ide/gtk_parsing.cmi
|
| -rw-r--r-- | 1734060 | root |
root |
/usr/lib/coq/ide/ide.a
|
| -rw-r--r-- | 75516 | root |
root |
/usr/lib/coq/ide/ide.cmxa
|
| -rw-r--r-- | 19504 | root |
root |
/usr/lib/coq/ide/ideutils.cmi
|
| -rw-r--r-- | 1578 | root |
root |
/usr/lib/coq/ide/minilib.cmi
|
| -rw-r--r-- | 8919 | root |
root |
/usr/lib/coq/ide/nanoPG.cmi
|
| -rw-r--r-- | 12478 | root |
root |
/usr/lib/coq/ide/preferences.cmi
|
| -rw-r--r-- | 1617 | root |
root |
/usr/lib/coq/ide/richpp.cmi
|
| -rw-r--r-- | 1496 | root |
root |
/usr/lib/coq/ide/sentence.cmi
|
| -rw-r--r-- | 4077 | root |
root |
/usr/lib/coq/ide/serialize.cmi
|
| -rw-r--r-- | 6927 | root |
root |
/usr/lib/coq/ide/session.cmi
|
| -rw-r--r-- | 3080 | root |
root |
/usr/lib/coq/ide/tags.cmi
|
| -rw-r--r-- | 1033 | root |
root |
/usr/lib/coq/ide/utf8_convert.cmi
|
| drwxr-xr-x | 0 | root |
root |
/usr/lib/coq/ide/utils
|
| -rw-r--r-- | 4240 | root |
root |
/usr/lib/coq/ide/wg_Command.cmi
|
| -rw-r--r-- | 5878 | root |
root |
/usr/lib/coq/ide/wg_Completion.cmi
|
| -rw-r--r-- | 13377 | root |
root |
/usr/lib/coq/ide/wg_Detachable.cmi
|
| -rw-r--r-- | 2805 | root |
root |
/usr/lib/coq/ide/wg_Find.cmi
|
| -rw-r--r-- | 11818 | root |
root |
/usr/lib/coq/ide/wg_MessageView.cmi
|
| -rw-r--r-- | 17419 | root |
root |
/usr/lib/coq/ide/wg_Notebook.cmi
|
| -rw-r--r-- | 4481 | root |
root |
/usr/lib/coq/ide/wg_ProofView.cmi
|
| -rw-r--r-- | 31569 | root |
root |
/usr/lib/coq/ide/wg_ScriptView.cmi
|
| -rw-r--r-- | 11550 | root |
root |
/usr/lib/coq/ide/wg_Segment.cmi
|
| -rw-r--r-- | 1735 | root |
root |
/usr/lib/coq/ide/xml_lexer.cmi
|
| -rw-r--r-- | 2535 | root |
root |
/usr/lib/coq/ide/xml_parser.cmi
|
| -rw-r--r-- | 1153 | root |
root |
/usr/lib/coq/ide/xml_printer.cmi
|
| -rw-r--r-- | 5280 | root |
root |
/usr/lib/coq/ide/xmlprotocol.cmi
|
| -rw-r--r-- | 5505 | root |
root |
/usr/lib/coq/ide/utils/configwin.cmi
|
| -rw-r--r-- | 5146 | root |
root |
/usr/lib/coq/ide/utils/configwin_ihm.cmi
|
| -rw-r--r-- | 1380 | root |
root |
/usr/lib/coq/ide/utils/configwin_messages.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-- | 13896 | 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
|
