drwxr-xr-x | 4096 | root |
root |
/etc/xdg/coq
|
-rwxr-xr-x | 5295016 | root |
root |
/usr/bin/coqide
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/coq/ide
|
-rw-r--r-- | 1960 | root |
root |
/usr/lib/coq/ide/config_lexer.cmi
|
-rw-r--r-- | 6391 | root |
root |
/usr/lib/coq/ide/coq.cmi
|
-rw-r--r-- | 11354 | root |
root |
/usr/lib/coq/ide/coqOps.cmi
|
-rw-r--r-- | 417 | root |
root |
/usr/lib/coq/ide/coq_commands.cmi
|
-rw-r--r-- | 2227 | root |
root |
/usr/lib/coq/ide/coq_lex.cmi
|
-rw-r--r-- | 974 | root |
root |
/usr/lib/coq/ide/coqide.cmi
|
-rw-r--r-- | 1725 | root |
root |
/usr/lib/coq/ide/coqide_ui.cmi
|
-rw-r--r-- | 4321 | root |
root |
/usr/lib/coq/ide/document.cmi
|
-rw-r--r-- | 4289 | root |
root |
/usr/lib/coq/ide/fileOps.cmi
|
-rw-r--r-- | 3377 | root |
root |
/usr/lib/coq/ide/gtk_parsing.cmi
|
-rw-r--r-- | 2569566 | root |
root |
/usr/lib/coq/ide/ide.a
|
-rw-r--r-- | 2550008 | root |
root |
/usr/lib/coq/ide/ide.cma
|
-rw-r--r-- | 67206 | root |
root |
/usr/lib/coq/ide/ide.cmxa
|
-rw-r--r-- | 11207 | root |
root |
/usr/lib/coq/ide/ideutils.cmi
|
-rw-r--r-- | 1125 | root |
root |
/usr/lib/coq/ide/minilib.cmi
|
-rw-r--r-- | 7522 | root |
root |
/usr/lib/coq/ide/nanoPG.cmi
|
-rw-r--r-- | 5201 | root |
root |
/usr/lib/coq/ide/preferences.cmi
|
-rw-r--r-- | 4109 | root |
root |
/usr/lib/coq/ide/project_file.cmi
|
-rw-r--r-- | 1268 | root |
root |
/usr/lib/coq/ide/sentence.cmi
|
-rw-r--r-- | 6364 | root |
root |
/usr/lib/coq/ide/session.cmi
|
-rw-r--r-- | 3148 | root |
root |
/usr/lib/coq/ide/tags.cmi
|
-rw-r--r-- | 705 | root |
root |
/usr/lib/coq/ide/utf8_convert.cmi
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/coq/ide/utils
|
-rw-r--r-- | 3753 | root |
root |
/usr/lib/coq/ide/wg_Command.cmi
|
-rw-r--r-- | 5726 | root |
root |
/usr/lib/coq/ide/wg_Completion.cmi
|
-rw-r--r-- | 12561 | root |
root |
/usr/lib/coq/ide/wg_Detachable.cmi
|
-rw-r--r-- | 2565 | root |
root |
/usr/lib/coq/ide/wg_Find.cmi
|
-rw-r--r-- | 11111 | root |
root |
/usr/lib/coq/ide/wg_MessageView.cmi
|
-rw-r--r-- | 16388 | root |
root |
/usr/lib/coq/ide/wg_Notebook.cmi
|
-rw-r--r-- | 4194 | root |
root |
/usr/lib/coq/ide/wg_ProofView.cmi
|
-rw-r--r-- | 29878 | root |
root |
/usr/lib/coq/ide/wg_ScriptView.cmi
|
-rw-r--r-- | 10894 | root |
root |
/usr/lib/coq/ide/wg_Segment.cmi
|
-rw-r--r-- | 3721 | root |
root |
/usr/lib/coq/ide/xmlprotocol.cmi
|
-rw-r--r-- | 57003 | root |
root |
/usr/lib/coq/ide/utils/config_file.cmi
|
-rw-r--r-- | 13233 | root |
root |
/usr/lib/coq/ide/utils/configwin.cmi
|
-rw-r--r-- | 21549 | root |
root |
/usr/lib/coq/ide/utils/configwin_ihm.cmi
|
-rw-r--r-- | 56650 | root |
root |
/usr/lib/coq/ide/utils/configwin_keys.cmi
|
-rw-r--r-- | 917 | root |
root |
/usr/lib/coq/ide/utils/configwin_messages.cmi
|
-rw-r--r-- | 15001 | root |
root |
/usr/lib/coq/ide/utils/configwin_types.cmi
|
-rw-r--r-- | 1502 | root |
root |
/usr/lib/coq/ide/utils/editable_cells.cmi
|
-rw-r--r-- | 4087 | root |
root |
/usr/lib/coq/ide/utils/okey.cmi
|
-rw-r--r-- | 158 | root |
root |
/usr/share/applications/coq.desktop
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/doc/coq-ide
|
-rw-r--r-- | 2515 | root |
root |
/usr/share/doc/coq-ide/FAQ
|
-rw-r--r-- | 1079 | 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-- | 1602 | root |
root |
/usr/share/icons/hicolor/32x32/apps/coq.png
|
-rw-r--r-- | 2320 | root |
root |
/usr/share/icons/hicolor/48x48/apps/coq.png
|