corner image corner image corner image corner image Debian NEW package overview for setzer
setzer_0.2.5-1_amd64.changes (click to toggle)
Format:1.8
Date:Fri, 01 May 2020 16:28:25 +0200
Source:setzer
Binary:setzer
Architecture:source all
Version:0.2.5-1
Distribution:unstable
Urgency:medium
Maintainer:Stephan Lachnit <stephanlachnit@protonmail.com>
Changed-By:Stephan Lachnit <stephanlachnit@protonmail.com>
Description:
setzer     - simple yet full-featured LaTeX editor
Closes:954847
Changes:
setzer (0.2.5-1) unstable; urgency=medium

  * Initial release. (Closes: #954847)
Files:
7e96998c5f272c94e86b14a5c66e6864 1855 tex optional setzer_0.2.5-1.dsc
737202e62863ad3f6490a35d6df75d9c 3491000 tex optional setzer_0.2.5.orig.tar.gz
207e18814260f187741b1b805fc16006 1780 tex optional setzer_0.2.5-1.debian.tar.xz
07da21fed7920da0b6db4ae3b22d9b18 3064704 tex optional setzer_0.2.5-1_all.deb
d5a0018bce13fc58fac3046e8ec596d5 6085 tex optional setzer_0.2.5-1_amd64.buildinfo
setzer_0.2.5-1.dsc (click to toggle)
Format:3.0 (quilt)
Source:setzer
Binary:setzer
Architecture:all
Version:0.2.5-1
Maintainer:Stephan Lachnit <stephanlachnit@protonmail.com>
Homepage:https://www.cvfosammmm.org/setzer/
Standards-Version:4.5.0
Vcs-Browser:https://salsa.debian.org/science-team/setzer
Vcs-Git:https://salsa.debian.org/science-team/setzer.git
Build-Depends:debhelper-compat (=13), dh-sequence-python3, meson
Package-List:setzer deb tex optional arch=all
Files:
737202e62863ad3f6490a35d6df75d9c 3491000 setzer_0.2.5.orig.tar.gz
207e18814260f187741b1b805fc16006 1780 setzer_0.2.5-1.debian.tar.xz
lintian 2.69.0~bpo10+2 check for setzer_0.2.5-1.dsc (click to toggle)
README.source for setzer_0.2.5-1.dsc (click to toggle)
No README.source in this package
control file for setzer_0.2.5-1_all.deb (click to toggle)
Package:setzer
Version:0.2.5-1
Architecture:all
Maintainer:Stephan Lachnit <stephanlachnit@protonmail.com>
Installed-Size:6118
Depends:python3:any, python3-gi, gir1.2-gtk-3.0, gir1.2-gtksource-3.0, gir1.2-gspell-1, gir1.2-poppler-0.18, python3-xdg
Recommends:texlive-latex-recommended, latexmk
Section:tex
Priority:optional
Homepage:https://www.cvfosammmm.org/setzer/
Description:
simple yet full-featured LaTeX editor
 Setzer features shortcuts for many LaTeX elements and symbols, a document
 creation wizard, a dark mode, a high screen to content ratio and a good
 side-by-side pdf viewer.
lintian 2.69.0~bpo10+2 check for setzer_0.2.5-1_all.deb (click to toggle)
contents of setzer_0.2.5-1_all.deb (click to toggle)
drwxr-xr-x root/root         0 2020-05-01 14:28 ./
drwxr-xr-x root/root         0 2020-05-01 14:28 ./usr/
drwxr-xr-x root/root         0 2020-05-01 14:28 ./usr/bin/
-rwxr-xr-x root/root      6437 2020-05-01 14:28 ./usr/bin/setzer
drwxr-xr-x root/root         0 2020-05-01 14:28 ./usr/lib/
drwxr-xr-x root/root         0 2020-05-01 14:28 ./usr/lib/python3/
drwxr-xr-x root/root         0 2020-05-01 14:28 ./usr/lib/python3/dist-packages/
drwxr-xr-x root/root         0 2020-05-01 14:28 ./usr/lib/python3/dist-packages/setzer/
drwxr-xr-x root/root         0 2020-05-01 14:28 ./usr/lib/python3/dist-packages/setzer/app/
-rw-r--r-- root/root         0 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/app/__init__.py
-rw-r--r-- root/root      4523 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/app/service_locator.py
-rw-r--r-- root/root      4869 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/app/settings.py
drwxr-xr-x root/root         0 2020-05-01 14:28 ./usr/lib/python3/dist-packages/setzer/dialogs/
-rw-r--r-- root/root         0 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/dialogs/__init__.py
drwxr-xr-x root/root         0 2020-05-01 14:28 ./usr/lib/python3/dist-packages/setzer/dialogs/about/
-rw-r--r-- root/root         0 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/dialogs/about/__init__.py
-rw-r--r-- root/root      1787 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/dialogs/about/about.py
drwxr-xr-x root/root         0 2020-05-01 14:28 ./usr/lib/python3/dist-packages/setzer/dialogs/add_remove_packages/
-rw-r--r-- root/root         0 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/dialogs/add_remove_packages/__init__.py
-rw-r--r-- root/root      7811 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/dialogs/add_remove_packages/add_remove_packages.py
-rw-r--r-- root/root      5676 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/dialogs/add_remove_packages/add_remove_packages_viewgtk.py
drwxr-xr-x root/root         0 2020-05-01 14:28 ./usr/lib/python3/dist-packages/setzer/dialogs/bibtex_wizard/
-rw-r--r-- root/root         0 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/dialogs/bibtex_wizard/__init__.py
-rw-r--r-- root/root     33984 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/dialogs/bibtex_wizard/bibtex_wizard.py
-rw-r--r-- root/root      3149 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/dialogs/bibtex_wizard/bibtex_wizard_viewgtk.py
drwxr-xr-x root/root         0 2020-05-01 14:28 ./usr/lib/python3/dist-packages/setzer/dialogs/bibtex_wizard/pages/
-rw-r--r-- root/root         0 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/dialogs/bibtex_wizard/pages/__init__.py
-rw-r--r-- root/root      1390 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/dialogs/bibtex_wizard/pages/page.py
-rw-r--r-- root/root      4733 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/dialogs/bibtex_wizard/pages/page_create_new_entry.py
-rw-r--r-- root/root      6227 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/dialogs/bibtex_wizard/pages/page_fields_entry.py
drwxr-xr-x root/root         0 2020-05-01 14:28 ./usr/lib/python3/dist-packages/setzer/dialogs/build_save/
-rw-r--r-- root/root         0 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/dialogs/build_save/__init__.py
-rw-r--r-- root/root      1917 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/dialogs/build_save/build_save.py
drwxr-xr-x root/root         0 2020-05-01 14:28 ./usr/lib/python3/dist-packages/setzer/dialogs/building_failed/
-rw-r--r-- root/root         0 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/dialogs/building_failed/__init__.py
-rw-r--r-- root/root      1801 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/dialogs/building_failed/building_failed.py
drwxr-xr-x root/root         0 2020-05-01 14:28 ./usr/lib/python3/dist-packages/setzer/dialogs/close_confirmation/
-rw-r--r-- root/root         0 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/dialogs/close_confirmation/__init__.py
-rw-r--r-- root/root      5317 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/dialogs/close_confirmation/close_confirmation.py
-rw-r--r-- root/root       842 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/dialogs/dialog.py
-rw-r--r-- root/root      4565 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/dialogs/dialog_locator.py
drwxr-xr-x root/root         0 2020-05-01 14:28 ./usr/lib/python3/dist-packages/setzer/dialogs/document_changed_on_disk/
-rw-r--r-- root/root         0 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/dialogs/document_changed_on_disk/__init__.py
-rw-r--r-- root/root      1864 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/dialogs/document_changed_on_disk/document_changed_on_disk.py
drwxr-xr-x root/root         0 2020-05-01 14:28 ./usr/lib/python3/dist-packages/setzer/dialogs/document_wizard/
-rw-r--r-- root/root         0 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/dialogs/document_wizard/__init__.py
-rw-r--r-- root/root     17898 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/dialogs/document_wizard/document_wizard.py
-rw-r--r-- root/root      3217 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/dialogs/document_wizard/document_wizard_viewgtk.py
drwxr-xr-x root/root         0 2020-05-01 14:28 ./usr/lib/python3/dist-packages/setzer/dialogs/document_wizard/pages/
-rw-r--r-- root/root         0 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/dialogs/document_wizard/pages/__init__.py
-rw-r--r-- root/root      5325 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/dialogs/document_wizard/pages/page.py
-rw-r--r-- root/root      6220 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/dialogs/document_wizard/pages/page_article_settings.py
-rw-r--r-- root/root     10466 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/dialogs/document_wizard/pages/page_beamer_settings.py
-rw-r--r-- root/root      6089 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/dialogs/document_wizard/pages/page_book_settings.py
-rw-r--r-- root/root      4724 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/dialogs/document_wizard/pages/page_document_class.py
-rw-r--r-- root/root      9827 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/dialogs/document_wizard/pages/page_general_settings.py
-rw-r--r-- root/root      4707 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/dialogs/document_wizard/pages/page_letter_settings.py
-rw-r--r-- root/root      6117 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/dialogs/document_wizard/pages/page_report_settings.py
drwxr-xr-x root/root         0 2020-05-01 14:28 ./usr/lib/python3/dist-packages/setzer/dialogs/include_bibtex_file/
-rw-r--r-- root/root         0 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/dialogs/include_bibtex_file/__init__.py
-rw-r--r-- root/root      8772 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/dialogs/include_bibtex_file/include_bibtex_file.py
-rw-r--r-- root/root      5524 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/dialogs/include_bibtex_file/include_bibtex_file_viewgtk.py
drwxr-xr-x root/root         0 2020-05-01 14:28 ./usr/lib/python3/dist-packages/setzer/dialogs/include_latex_file/
-rw-r--r-- root/root         0 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/dialogs/include_latex_file/__init__.py
-rw-r--r-- root/root      4202 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/dialogs/include_latex_file/include_latex_file.py
-rw-r--r-- root/root      4685 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/dialogs/include_latex_file/include_latex_file_viewgtk.py
drwxr-xr-x root/root         0 2020-05-01 14:28 ./usr/lib/python3/dist-packages/setzer/dialogs/interpreter_missing/
-rw-r--r-- root/root         0 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/dialogs/interpreter_missing/__init__.py
-rw-r--r-- root/root      2010 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/dialogs/interpreter_missing/interpreter_missing.py
drwxr-xr-x root/root         0 2020-05-01 14:28 ./usr/lib/python3/dist-packages/setzer/dialogs/keyboard_shortcuts/
-rw-r--r-- root/root         0 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/dialogs/keyboard_shortcuts/__init__.py
-rw-r--r-- root/root      8360 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/dialogs/keyboard_shortcuts/keyboard_shortcuts.py
drwxr-xr-x root/root         0 2020-05-01 14:28 ./usr/lib/python3/dist-packages/setzer/dialogs/open_document/
-rw-r--r-- root/root         0 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/dialogs/open_document/__init__.py
-rw-r--r-- root/root      2269 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/dialogs/open_document/open_document.py
drwxr-xr-x root/root         0 2020-05-01 14:28 ./usr/lib/python3/dist-packages/setzer/dialogs/open_session/
-rw-r--r-- root/root         0 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/dialogs/open_session/__init__.py
-rw-r--r-- root/root      2168 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/dialogs/open_session/open_session.py
drwxr-xr-x root/root         0 2020-05-01 14:28 ./usr/lib/python3/dist-packages/setzer/dialogs/preferences/
-rw-r--r-- root/root         0 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/dialogs/preferences/__init__.py
-rw-r--r-- root/root      6767 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/dialogs/preferences/preferences.py
-rw-r--r-- root/root      9773 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/dialogs/preferences/preferences_viewgtk.py
drwxr-xr-x root/root         0 2020-05-01 14:28 ./usr/lib/python3/dist-packages/setzer/dialogs/replace_confirmation/
-rw-r--r-- root/root         0 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/dialogs/replace_confirmation/__init__.py
-rw-r--r-- root/root      2045 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/dialogs/replace_confirmation/replace_confirmation.py
drwxr-xr-x root/root         0 2020-05-01 14:28 ./usr/lib/python3/dist-packages/setzer/dialogs/save_document/
-rw-r--r-- root/root         0 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/dialogs/save_document/__init__.py
-rw-r--r-- root/root      2606 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/dialogs/save_document/save_document.py
drwxr-xr-x root/root         0 2020-05-01 14:28 ./usr/lib/python3/dist-packages/setzer/dialogs/save_session/
-rw-r--r-- root/root         0 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/dialogs/save_session/__init__.py
-rw-r--r-- root/root      2912 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/dialogs/save_session/save_session.py
drwxr-xr-x root/root         0 2020-05-01 14:28 ./usr/lib/python3/dist-packages/setzer/dialogs/spellchecking/
-rw-r--r-- root/root         0 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/dialogs/spellchecking/__init__.py
-rw-r--r-- root/root      1461 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/dialogs/spellchecking/spellchecking.py
drwxr-xr-x root/root         0 2020-05-01 14:28 ./usr/lib/python3/dist-packages/setzer/dialogs/spellchecking_language/
-rw-r--r-- root/root         0 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/dialogs/spellchecking_language/__init__.py
-rw-r--r-- root/root      2310 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/dialogs/spellchecking_language/spellchecking_language.py
drwxr-xr-x root/root         0 2020-05-01 14:28 ./usr/lib/python3/dist-packages/setzer/document/
-rw-r--r-- root/root         0 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/document/__init__.py
drwxr-xr-x root/root         0 2020-05-01 14:28 ./usr/lib/python3/dist-packages/setzer/document/autocomplete/
-rw-r--r-- root/root         0 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/document/autocomplete/__init__.py
-rw-r--r-- root/root     42269 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/document/autocomplete/autocomplete.py
-rw-r--r-- root/root      3209 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/document/autocomplete/autocomplete_viewgtk.py
drwxr-xr-x root/root         0 2020-05-01 14:28 ./usr/lib/python3/dist-packages/setzer/document/build_system/
-rw-r--r-- root/root         0 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/document/build_system/__init__.py
-rw-r--r-- root/root     27250 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/document/build_system/build_system.py
drwxr-xr-x root/root         0 2020-05-01 14:28 ./usr/lib/python3/dist-packages/setzer/document/build_widget/
-rw-r--r-- root/root         0 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/document/build_widget/__init__.py
-rw-r--r-- root/root      5821 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/document/build_widget/build_widget.py
-rw-r--r-- root/root      4645 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/document/build_widget/build_widget_viewgtk.py
drwxr-xr-x root/root         0 2020-05-01 14:28 ./usr/lib/python3/dist-packages/setzer/document/code_folding/
-rw-r--r-- root/root         0 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/document/code_folding/__init__.py
-rw-r--r-- root/root      9853 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/document/code_folding/code_folding.py
-rw-r--r-- root/root      1588 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/document/code_folding/code_folding_controller.py
-rw-r--r-- root/root      1578 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/document/code_folding/code_folding_presenter.py
-rw-r--r-- root/root      1001 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/document/code_folding/code_folding_viewgtk.py
-rw-r--r-- root/root     24135 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/document/document.py
-rw-r--r-- root/root      7663 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/document/document_builder.py
-rw-r--r-- root/root      6673 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/document/document_controller.py
-rw-r--r-- root/root      4145 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/document/document_presenter.py
drwxr-xr-x root/root         0 2020-05-01 14:28 ./usr/lib/python3/dist-packages/setzer/document/document_switcher_item/
-rw-r--r-- root/root         0 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/document/document_switcher_item/__init__.py
-rw-r--r-- root/root      1824 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/document/document_switcher_item/document_switcher_item.py
-rw-r--r-- root/root      3489 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/document/document_switcher_item/document_switcher_item_presenter.py
-rw-r--r-- root/root      4257 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/document/document_switcher_item/document_switcher_item_viewgtk.py
-rw-r--r-- root/root      3406 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/document/document_viewgtk.py
drwxr-xr-x root/root         0 2020-05-01 14:28 ./usr/lib/python3/dist-packages/setzer/document/parser/
-rw-r--r-- root/root         0 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/document/parser/__init__.py
-rw-r--r-- root/root       887 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/document/parser/bibtex_parser.py
-rw-r--r-- root/root      8138 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/document/parser/latex_parser.py
drwxr-xr-x root/root         0 2020-05-01 14:28 ./usr/lib/python3/dist-packages/setzer/document/preview/
-rw-r--r-- root/root         0 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/document/preview/__init__.py
-rw-r--r-- root/root     11932 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/document/preview/preview.py
-rw-r--r-- root/root      6447 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/document/preview/preview_controller.py
-rw-r--r-- root/root      6890 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/document/preview/preview_layouter.py
-rw-r--r-- root/root      8159 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/document/preview/preview_page_renderer.py
-rw-r--r-- root/root      8108 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/document/preview/preview_presenter.py
-rw-r--r-- root/root      4276 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/document/preview/preview_viewgtk.py
drwxr-xr-x root/root         0 2020-05-01 14:28 ./usr/lib/python3/dist-packages/setzer/document/preview/zoom_widget/
-rw-r--r-- root/root         0 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/document/preview/zoom_widget/__init__.py
-rw-r--r-- root/root      3976 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/document/preview/zoom_widget/zoom_widget.py
-rw-r--r-- root/root      2785 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/document/preview/zoom_widget/zoom_widget_viewgtk.py
drwxr-xr-x root/root         0 2020-05-01 14:28 ./usr/lib/python3/dist-packages/setzer/document/search/
-rw-r--r-- root/root         0 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/document/search/__init__.py
-rw-r--r-- root/root     14566 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/document/search/search.py
-rw-r--r-- root/root      4229 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/document/search/search_viewgtk.py
drwxr-xr-x root/root         0 2020-05-01 14:28 ./usr/lib/python3/dist-packages/setzer/document/shortcutsbar/
-rw-r--r-- root/root         0 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/document/shortcutsbar/__init__.py
-rw-r--r-- root/root      1485 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/document/shortcutsbar/shortcutsbar_presenter.py
-rw-r--r-- root/root      2732 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/document/shortcutsbar/shortcutsbar_viewgtk.py
drwxr-xr-x root/root         0 2020-05-01 14:28 ./usr/lib/python3/dist-packages/setzer/document/spellchecker/
-rw-r--r-- root/root         0 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/document/spellchecker/__init__.py
-rw-r--r-- root/root      1502 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/document/spellchecker/spellchecker.py
drwxr-xr-x root/root         0 2020-05-01 14:28 ./usr/lib/python3/dist-packages/setzer/document/state_manager/
-rw-r--r-- root/root         0 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/document/state_manager/__init__.py
-rw-r--r-- root/root      1032 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/document/state_manager/state_manager_bibtex.py
-rw-r--r-- root/root      4628 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/document/state_manager/state_manager_latex.py
drwxr-xr-x root/root         0 2020-05-01 14:28 ./usr/lib/python3/dist-packages/setzer/helpers/
-rw-r--r-- root/root         0 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/helpers/__init__.py
-rw-r--r-- root/root      1761 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/helpers/helpers.py
-rw-r--r-- root/root      1729 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/helpers/observable.py
-rw-r--r-- root/root      3503 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/helpers/popover_menu_builder.py
drwxr-xr-x root/root         0 2020-05-01 14:28 ./usr/lib/python3/dist-packages/setzer/workspace/
-rw-r--r-- root/root         0 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/workspace/__init__.py
drwxr-xr-x root/root         0 2020-05-01 14:28 ./usr/lib/python3/dist-packages/setzer/workspace/bibtex_shortcutsbar/
-rw-r--r-- root/root         0 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/workspace/bibtex_shortcutsbar/__init__.py
-rw-r--r-- root/root      4334 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/workspace/bibtex_shortcutsbar/bibtex_shortcutsbar_viewgtk.py
drwxr-xr-x root/root         0 2020-05-01 14:28 ./usr/lib/python3/dist-packages/setzer/workspace/build_log/
-rw-r--r-- root/root         0 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/workspace/build_log/__init__.py
-rw-r--r-- root/root      4377 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/workspace/build_log/build_log.py
-rw-r--r-- root/root      2486 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/workspace/build_log/build_log_controller.py
-rw-r--r-- root/root      3135 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/workspace/build_log/build_log_presenter.py
-rw-r--r-- root/root      6117 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/workspace/build_log/build_log_viewgtk.py
drwxr-xr-x root/root         0 2020-05-01 14:28 ./usr/lib/python3/dist-packages/setzer/workspace/document_switcher/
-rw-r--r-- root/root         0 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/workspace/document_switcher/__init__.py
-rw-r--r-- root/root      1505 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/workspace/document_switcher/document_switcher.py
-rw-r--r-- root/root      3072 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/workspace/document_switcher/document_switcher_controller.py
-rw-r--r-- root/root      5924 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/workspace/document_switcher/document_switcher_presenter.py
-rw-r--r-- root/root      7469 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/workspace/document_switcher/document_switcher_viewgtk.py
drwxr-xr-x root/root         0 2020-05-01 14:28 ./usr/lib/python3/dist-packages/setzer/workspace/headerbar/
-rw-r--r-- root/root         0 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/workspace/headerbar/__init__.py
-rw-r--r-- root/root      7892 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/workspace/headerbar/headerbar_presenter.py
-rw-r--r-- root/root     14665 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/workspace/headerbar/headerbar_viewgtk.py
drwxr-xr-x root/root         0 2020-05-01 14:28 ./usr/lib/python3/dist-packages/setzer/workspace/keyboard_shortcuts/
-rw-r--r-- root/root         0 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/workspace/keyboard_shortcuts/__init__.py
-rw-r--r-- root/root      9427 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/workspace/keyboard_shortcuts/shortcuts.py
drwxr-xr-x root/root         0 2020-05-01 14:28 ./usr/lib/python3/dist-packages/setzer/workspace/preview_panel/
-rw-r--r-- root/root         0 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/workspace/preview_panel/__init__.py
-rw-r--r-- root/root      2442 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/workspace/preview_panel/preview_panel_presenter.py
-rw-r--r-- root/root      1507 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/workspace/preview_panel/preview_panel_viewgtk.py
drwxr-xr-x root/root         0 2020-05-01 14:28 ./usr/lib/python3/dist-packages/setzer/workspace/shortcutsbar/
-rw-r--r-- root/root         0 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/workspace/shortcutsbar/__init__.py
-rw-r--r-- root/root     28248 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/workspace/shortcutsbar/shortcutsbar_viewgtk.py
drwxr-xr-x root/root         0 2020-05-01 14:28 ./usr/lib/python3/dist-packages/setzer/workspace/sidebar/
-rw-r--r-- root/root         0 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/workspace/sidebar/__init__.py
-rw-r--r-- root/root      6318 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/workspace/sidebar/sidebar.py
-rw-r--r-- root/root      3781 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/workspace/sidebar/sidebar_viewgtk.py
-rw-r--r-- root/root     18621 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/workspace/workspace.py
-rw-r--r-- root/root     19455 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/workspace/workspace_controller.py
-rw-r--r-- root/root     17129 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/workspace/workspace_presenter.py
-rw-r--r-- root/root     11167 2020-04-28 10:08 ./usr/lib/python3/dist-packages/setzer/workspace/workspace_viewgtk.py
drwxr-xr-x root/root         0 2020-05-01 14:28 ./usr/share/
drwxr-xr-x root/root         0 2020-05-01 14:28 ./usr/share/Setzer/
drwxr-xr-x root/root         0 2020-05-01 14:28 ./usr/share/Setzer/resources/
drwxr-xr-x root/root         0 2020-05-01 14:28 ./usr/share/Setzer/resources/bibliography_styles/
-rw-r--r-- root/root     18167 2020-05-01 14:28 ./usr/share/Setzer/resources/bibliography_styles/abbrv.png
-rw-r--r-- root/root     18709 2020-05-01 14:28 ./usr/share/Setzer/resources/bibliography_styles/abbrvnat.png
-rw-r--r-- root/root     18281 2020-05-01 14:28 ./usr/share/Setzer/resources/bibliography_styles/achemso.png
-rw-r--r-- root/root     18971 2020-05-01 14:28 ./usr/share/Setzer/resources/bibliography_styles/alpha.png
-rw-r--r-- root/root     19639 2020-05-01 14:28 ./usr/share/Setzer/resources/bibliography_styles/apalike.png
-rw-r--r-- root/root     18115 2020-05-01 14:28 ./usr/share/Setzer/resources/bibliography_styles/ieeetr.png
-rw-r--r-- root/root     18375 2020-05-01 14:28 ./usr/share/Setzer/resources/bibliography_styles/plain.png
-rw-r--r-- root/root     18808 2020-05-01 14:28 ./usr/share/Setzer/resources/bibliography_styles/plainnat.png
-rw-r--r-- root/root     18792 2020-05-01 14:28 ./usr/share/Setzer/resources/bibliography_styles/unsrtnat.png
drwxr-xr-x root/root         0 2020-05-01 14:28 ./usr/share/Setzer/resources/document_wizard/
-rw-r--r-- root/root     22384 2020-04-28 10:08 ./usr/share/Setzer/resources/document_wizard/article1.svg
-rw-r--r-- root/root     25192 2020-04-28 10:08 ./usr/share/Setzer/resources/document_wizard/beamer1.svg
-rw-r--r-- root/root     56733 2020-04-28 10:08 ./usr/share/Setzer/resources/document_wizard/beamerpreview_AnnArbor_page_0.png
-rw-r--r-- root/root     68798 2020-04-28 10:08 ./usr/share/Setzer/resources/document_wizard/beamerpreview_AnnArbor_page_1.png
-rw-r--r-- root/root     47534 2020-04-28 10:08 ./usr/share/Setzer/resources/document_wizard/beamerpreview_Antibes_page_0.png
-rw-r--r-- root/root     59615 2020-04-28 10:08 ./usr/share/Setzer/resources/document_wizard/beamerpreview_Antibes_page_1.png
-rw-r--r-- root/root     52308 2020-04-28 10:08 ./usr/share/Setzer/resources/document_wizard/beamerpreview_Bergen_page_0.png
-rw-r--r-- root/root     52665 2020-04-28 10:08 ./usr/share/Setzer/resources/document_wizard/beamerpreview_Bergen_page_1.png
-rw-r--r-- root/root     52910 2020-04-28 10:08 ./usr/share/Setzer/resources/document_wizard/beamerpreview_Berkeley_page_0.png
-rw-r--r-- root/root     61111 2020-04-28 10:08 ./usr/share/Setzer/resources/document_wizard/beamerpreview_Berkeley_page_1.png
-rw-r--r-- root/root     52834 2020-04-28 10:08 ./usr/share/Setzer/resources/document_wizard/beamerpreview_Berlin_page_0.png
-rw-r--r-- root/root     64096 2020-04-28 10:08 ./usr/share/Setzer/resources/document_wizard/beamerpreview_Berlin_page_1.png
-rw-r--r-- root/root     55986 2020-04-28 10:08 ./usr/share/Setzer/resources/document_wizard/beamerpreview_Boadilla_page_0.png
-rw-r--r-- root/root     68740 2020-04-28 10:08 ./usr/share/Setzer/resources/document_wizard/beamerpreview_Boadilla_page_1.png
-rw-r--r-- root/root     55499 2020-04-28 10:08 ./usr/share/Setzer/resources/document_wizard/beamerpreview_CambridgeUS_page_0.png
-rw-r--r-- root/root     68114 2020-04-28 10:08 ./usr/share/Setzer/resources/document_wizard/beamerpreview_CambridgeUS_page_1.png
-rw-r--r-- root/root     54065 2020-04-28 10:08 ./usr/share/Setzer/resources/document_wizard/beamerpreview_Copenhagen_page_0.png
-rw-r--r-- root/root     66572 2020-04-28 10:08 ./usr/share/Setzer/resources/document_wizard/beamerpreview_Copenhagen_page_1.png
-rw-r--r-- root/root     50220 2020-04-28 10:08 ./usr/share/Setzer/resources/document_wizard/beamerpreview_Darmstadt_page_0.png
-rw-r--r-- root/root     63688 2020-04-28 10:08 ./usr/share/Setzer/resources/document_wizard/beamerpreview_Darmstadt_page_1.png
-rw-r--r-- root/root     52490 2020-04-28 10:08 ./usr/share/Setzer/resources/document_wizard/beamerpreview_Dresden_page_0.png
-rw-r--r-- root/root     60818 2020-04-28 10:08 ./usr/share/Setzer/resources/document_wizard/beamerpreview_Dresden_page_1.png
-rw-r--r-- root/root     55513 2020-04-28 10:08 ./usr/share/Setzer/resources/document_wizard/beamerpreview_EastLansing_page_0.png
-rw-r--r-- root/root     66920 2020-04-28 10:08 ./usr/share/Setzer/resources/document_wizard/beamerpreview_EastLansing_page_1.png
-rw-r--r-- root/root     50134 2020-04-28 10:08 ./usr/share/Setzer/resources/document_wizard/beamerpreview_Frankfurt_page_0.png
-rw-r--r-- root/root     61787 2020-04-28 10:08 ./usr/share/Setzer/resources/document_wizard/beamerpreview_Frankfurt_page_1.png
-rw-r--r-- root/root     54780 2020-04-28 10:08 ./usr/share/Setzer/resources/document_wizard/beamerpreview_Goettingen_page_0.png
-rw-r--r-- root/root     58946 2020-04-28 10:08 ./usr/share/Setzer/resources/document_wizard/beamerpreview_Goettingen_page_1.png
-rw-r--r-- root/root     55046 2020-04-28 10:08 ./usr/share/Setzer/resources/document_wizard/beamerpreview_Hannover_page_0.png
-rw-r--r-- root/root     62731 2020-04-28 10:08 ./usr/share/Setzer/resources/document_wizard/beamerpreview_Hannover_page_1.png
-rw-r--r-- root/root     56298 2020-04-28 10:08 ./usr/share/Setzer/resources/document_wizard/beamerpreview_Ilmenau_page_0.png
-rw-r--r-- root/root     68835 2020-04-28 10:08 ./usr/share/Setzer/resources/document_wizard/beamerpreview_Ilmenau_page_1.png
-rw-r--r-- root/root     51978 2020-04-28 10:08 ./usr/share/Setzer/resources/document_wizard/beamerpreview_JuanLesPins_page_0.png
-rw-r--r-- root/root     66263 2020-04-28 10:08 ./usr/share/Setzer/resources/document_wizard/beamerpreview_JuanLesPins_page_1.png
-rw-r--r-- root/root     50522 2020-04-28 10:08 ./usr/share/Setzer/resources/document_wizard/beamerpreview_Luebeck_page_0.png
-rw-r--r-- root/root     61724 2020-04-28 10:08 ./usr/share/Setzer/resources/document_wizard/beamerpreview_Luebeck_page_1.png
-rw-r--r-- root/root     55954 2020-04-28 10:08 ./usr/share/Setzer/resources/document_wizard/beamerpreview_Madrid_page_0.png
-rw-r--r-- root/root     67844 2020-04-28 10:08 ./usr/share/Setzer/resources/document_wizard/beamerpreview_Madrid_page_1.png
-rw-r--r-- root/root     50191 2020-04-28 10:08 ./usr/share/Setzer/resources/document_wizard/beamerpreview_Malmoe_page_0.png
-rw-r--r-- root/root     58467 2020-04-28 10:08 ./usr/share/Setzer/resources/document_wizard/beamerpreview_Malmoe_page_1.png
-rw-r--r-- root/root     56587 2020-04-28 10:08 ./usr/share/Setzer/resources/document_wizard/beamerpreview_Marburg_page_0.png
-rw-r--r-- root/root     60897 2020-04-28 10:08 ./usr/share/Setzer/resources/document_wizard/beamerpreview_Marburg_page_1.png
-rw-r--r-- root/root     47173 2020-04-28 10:08 ./usr/share/Setzer/resources/document_wizard/beamerpreview_Montpellier_page_0.png
-rw-r--r-- root/root     56097 2020-04-28 10:08 ./usr/share/Setzer/resources/document_wizard/beamerpreview_Montpellier_page_1.png
-rw-r--r-- root/root     58788 2020-04-28 10:08 ./usr/share/Setzer/resources/document_wizard/beamerpreview_PaloAlto_page_0.png
-rw-r--r-- root/root     70058 2020-04-28 10:08 ./usr/share/Setzer/resources/document_wizard/beamerpreview_PaloAlto_page_1.png
-rw-r--r-- root/root     45059 2020-04-28 10:08 ./usr/share/Setzer/resources/document_wizard/beamerpreview_Pittsburgh_page_0.png
-rw-r--r-- root/root     52026 2020-04-28 10:08 ./usr/share/Setzer/resources/document_wizard/beamerpreview_Pittsburgh_page_1.png
-rw-r--r-- root/root     44557 2020-04-28 10:08 ./usr/share/Setzer/resources/document_wizard/beamerpreview_Rochester_page_0.png
-rw-r--r-- root/root     54068 2020-04-28 10:08 ./usr/share/Setzer/resources/document_wizard/beamerpreview_Rochester_page_1.png
-rw-r--r-- root/root     45602 2020-04-28 10:08 ./usr/share/Setzer/resources/document_wizard/beamerpreview_Singapore_page_0.png
-rw-r--r-- root/root     52798 2020-04-28 10:08 ./usr/share/Setzer/resources/document_wizard/beamerpreview_Singapore_page_1.png
-rw-r--r-- root/root     50281 2020-04-28 10:08 ./usr/share/Setzer/resources/document_wizard/beamerpreview_Szeged_page_0.png
-rw-r--r-- root/root     58629 2020-04-28 10:08 ./usr/share/Setzer/resources/document_wizard/beamerpreview_Szeged_page_1.png
-rw-r--r-- root/root     53385 2020-04-28 10:08 ./usr/share/Setzer/resources/document_wizard/beamerpreview_Warsaw_page_0.png
-rw-r--r-- root/root     75311 2020-04-28 10:08 ./usr/share/Setzer/resources/document_wizard/beamerpreview_Warsaw_page_1.png
-rw-r--r-- root/root     44238 2020-04-28 10:08 ./usr/share/Setzer/resources/document_wizard/beamerpreview_default_page_0.png
-rw-r--r-- root/root     50485 2020-04-28 10:08 ./usr/share/Setzer/resources/document_wizard/beamerpreview_default_page_1.png
-rw-r--r-- root/root     21387 2020-04-28 10:08 ./usr/share/Setzer/resources/document_wizard/book1.svg
-rw-r--r-- root/root     15679 2020-04-28 10:08 ./usr/share/Setzer/resources/document_wizard/letter1.svg
-rw-r--r-- root/root     17081 2020-04-28 10:08 ./usr/share/Setzer/resources/document_wizard/report1.svg
drwxr-xr-x root/root         0 2020-05-01 14:28 ./usr/share/Setzer/resources/gtksourceview/
drwxr-xr-x root/root         0 2020-05-01 14:28 ./usr/share/Setzer/resources/gtksourceview/language-specs/
-rw-r--r-- root/root      2249 2020-04-28 10:08 ./usr/share/Setzer/resources/gtksourceview/language-specs/Makefile.am
-rw-r--r-- root/root     79473 2020-04-28 10:08 ./usr/share/Setzer/resources/gtksourceview/language-specs/R.lang
-rw-r--r-- root/root      5373 2020-04-28 10:08 ./usr/share/Setzer/resources/gtksourceview/language-specs/bibtex.lang
-rw-r--r-- root/root     11024 2020-04-28 10:08 ./usr/share/Setzer/resources/gtksourceview/language-specs/def.lang
-rw-r--r-- root/root      7649 2020-04-28 10:08 ./usr/share/Setzer/resources/gtksourceview/language-specs/lang_v1_to_v2.xslt
-rw-r--r-- root/root       269 2020-04-28 10:08 ./usr/share/Setzer/resources/gtksourceview/language-specs/language-specs.its
-rw-r--r-- root/root     68193 2020-04-28 10:08 ./usr/share/Setzer/resources/gtksourceview/language-specs/language-specs.pot
-rw-r--r-- root/root      2411 2020-04-28 10:08 ./usr/share/Setzer/resources/gtksourceview/language-specs/language.dtd
-rw-r--r-- root/root     11104 2020-04-28 10:08 ./usr/share/Setzer/resources/gtksourceview/language-specs/language.rng
-rw-r--r-- root/root     13307 2020-04-28 10:08 ./usr/share/Setzer/resources/gtksourceview/language-specs/language2.rng
-rw-r--r-- root/root     24840 2020-04-28 10:08 ./usr/share/Setzer/resources/gtksourceview/language-specs/latex-custom.lang
-rw-r--r-- root/root     24657 2020-04-28 10:08 ./usr/share/Setzer/resources/gtksourceview/language-specs/latex.lang
drwxr-xr-x root/root         0 2020-05-01 14:28 ./usr/share/Setzer/resources/gtksourceview/styles/
-rw-r--r-- root/root      7707 2020-04-28 10:08 ./usr/share/Setzer/resources/gtksourceview/styles/setzer-dark.xml
-rw-r--r-- root/root      7859 2020-04-28 10:08 ./usr/share/Setzer/resources/gtksourceview/styles/setzer.xml
drwxr-xr-x root/root         0 2020-05-01 14:28 ./usr/share/Setzer/resources/icons/
drwxr-xr-x root/root         0 2020-05-01 14:28 ./usr/share/Setzer/resources/icons/hicolor/
drwxr-xr-x root/root         0 2020-05-01 14:28 ./usr/share/Setzer/resources/icons/hicolor/scalable/
drwxr-xr-x root/root         0 2020-05-01 14:28 ./usr/share/Setzer/resources/icons/hicolor/scalable/actions/
-rw-r--r-- root/root      1164 2020-04-28 10:08 ./usr/share/Setzer/resources/icons/hicolor/scalable/actions/brush-symbolic.svg
-rw-r--r-- root/root      5905 2020-04-28 10:08 ./usr/share/Setzer/resources/icons/hicolor/scalable/actions/builder-build-symbolic.svg
-rw-r--r-- root/root      4330 2020-04-28 10:08 ./usr/share/Setzer/resources/icons/hicolor/scalable/actions/builder-view-bottom-pane-symbolic.svg
-rw-r--r-- root/root      4381 2020-04-28 10:08 ./usr/share/Setzer/resources/icons/hicolor/scalable/actions/builder-view-left-pane-symbolic.svg
-rw-r--r-- root/root      4378 2020-04-28 10:08 ./usr/share/Setzer/resources/icons/hicolor/scalable/actions/builder-view-right-pane-symbolic.svg
-rw-r--r-- root/root      1724 2020-04-28 10:08 ./usr/share/Setzer/resources/icons/hicolor/scalable/actions/document-new-symbolic.svg
-rw-r--r-- root/root      8289 2020-04-28 10:08 ./usr/share/Setzer/resources/icons/hicolor/scalable/actions/menu-accents-1-symbolic.svg
-rw-r--r-- root/root      8959 2020-04-28 10:08 ./usr/share/Setzer/resources/icons/hicolor/scalable/actions/menu-accents-10-symbolic.svg
-rw-r--r-- root/root      8271 2020-04-28 10:08 ./usr/share/Setzer/resources/icons/hicolor/scalable/actions/menu-accents-2-symbolic.svg
-rw-r--r-- root/root      8173 2020-04-28 10:08 ./usr/share/Setzer/resources/icons/hicolor/scalable/actions/menu-accents-3-symbolic.svg
-rw-r--r-- root/root      8485 2020-04-28 10:08 ./usr/share/Setzer/resources/icons/hicolor/scalable/actions/menu-accents-4-symbolic.svg
-rw-r--r-- root/root      8536 2020-04-28 10:08 ./usr/share/Setzer/resources/icons/hicolor/scalable/actions/menu-accents-5-symbolic.svg
-rw-r--r-- root/root      8585 2020-04-28 10:08 ./usr/share/Setzer/resources/icons/hicolor/scalable/actions/menu-accents-6-symbolic.svg
-rw-r--r-- root/root      8697 2020-04-28 10:08 ./usr/share/Setzer/resources/icons/hicolor/scalable/actions/menu-accents-7-symbolic.svg
-rw-r--r-- root/root      8639 2020-04-28 10:08 ./usr/share/Setzer/resources/icons/hicolor/scalable/actions/menu-accents-8-symbolic.svg
-rw-r--r-- root/root      8309 2020-04-28 10:08 ./usr/share/Setzer/resources/icons/hicolor/scalable/actions/menu-accents-9-symbolic.svg
-rw-r--r-- root/root      3854 2020-04-28 10:08 ./usr/share/Setzer/resources/icons/hicolor/scalable/actions/menu-math-accents-1-symbolic.svg
-rw-r--r-- root/root      5779 2020-04-28 10:08 ./usr/share/Setzer/resources/icons/hicolor/scalable/actions/menu-math-accents-10-symbolic.svg
-rw-r--r-- root/root      4033 2020-04-28 10:08 ./usr/share/Setzer/resources/icons/hicolor/scalable/actions/menu-math-accents-2-symbolic.svg
-rw-r--r-- root/root      4254 2020-04-28 10:08 ./usr/share/Setzer/resources/icons/hicolor/scalable/actions/menu-math-accents-3-symbolic.svg
-rw-r--r-- root/root      3704 2020-04-28 10:08 ./usr/share/Setzer/resources/icons/hicolor/scalable/actions/menu-math-accents-4-symbolic.svg
-rw-r--r-- root/root      4118 2020-04-28 10:08 ./usr/share/Setzer/resources/icons/hicolor/scalable/actions/menu-math-accents-5-symbolic.svg
-rw-r--r-- root/root      3749 2020-04-28 10:08 ./usr/share/Setzer/resources/icons/hicolor/scalable/actions/menu-math-accents-6-symbolic.svg
-rw-r--r-- root/root      5682 2020-04-28 10:08 ./usr/share/Setzer/resources/icons/hicolor/scalable/actions/menu-math-accents-7-symbolic.svg
-rw-r--r-- root/root      3876 2020-04-28 10:08 ./usr/share/Setzer/resources/icons/hicolor/scalable/actions/menu-math-accents-8-symbolic.svg
-rw-r--r-- root/root      5787 2020-04-28 10:08 ./usr/share/Setzer/resources/icons/hicolor/scalable/actions/menu-math-accents-9-symbolic.svg
-rw-r--r-- root/root      3017 2020-04-28 10:08 ./usr/share/Setzer/resources/icons/hicolor/scalable/actions/menu-math-font-styles-1-symbolic.svg
-rw-r--r-- root/root      3298 2020-04-28 10:08 ./usr/share/Setzer/resources/icons/hicolor/scalable/actions/menu-math-font-styles-2-symbolic.svg
-rw-r--r-- root/root      3101 2020-04-28 10:08 ./usr/share/Setzer/resources/icons/hicolor/scalable/actions/menu-math-font-styles-3-symbolic.svg
-rw-r--r-- root/root      2501 2020-04-28 10:08 ./usr/share/Setzer/resources/icons/hicolor/scalable/actions/menu-math-font-styles-4-symbolic.svg
-rw-r--r-- root/root      3034 2020-04-28 10:08 ./usr/share/Setzer/resources/icons/hicolor/scalable/actions/menu-math-font-styles-5-symbolic.svg
-rw-r--r-- root/root      3578 2020-04-28 10:08 ./usr/share/Setzer/resources/icons/hicolor/scalable/actions/menu-math-font-styles-6-symbolic.svg
-rw-r--r-- root/root      3693 2020-04-28 10:08 ./usr/share/Setzer/resources/icons/hicolor/scalable/actions/menu-math-font-styles-7-symbolic.svg
-rw-r--r-- root/root      3737 2020-04-28 10:08 ./usr/share/Setzer/resources/icons/hicolor/scalable/actions/menu-math-font-styles-8-symbolic.svg
-rw-r--r-- root/root      3097 2020-04-28 10:08 ./usr/share/Setzer/resources/icons/hicolor/scalable/actions/own-badbox-symbolic.svg
-rw-r--r-- root/root      1919 2020-04-28 10:08 ./usr/share/Setzer/resources/icons/hicolor/scalable/actions/own-folded-symbolic.svg
-rw-r--r-- root/root      2123 2020-04-28 10:08 ./usr/share/Setzer/resources/icons/hicolor/scalable/actions/own-insert-object-symbolic.svg
-rw-r--r-- root/root      3130 2020-04-28 10:08 ./usr/share/Setzer/resources/icons/hicolor/scalable/actions/own-math-menu-symbolic.svg
-rw-r--r-- root/root      1457 2020-04-28 10:08 ./usr/share/Setzer/resources/icons/hicolor/scalable/actions/own-no-folding-symbolic.svg
-rw-r--r-- root/root      3722 2020-04-28 10:08 ./usr/share/Setzer/resources/icons/hicolor/scalable/actions/own-no-preview-symbolic.svg
-rw-r--r-- root/root      5077 2020-04-28 10:08 ./usr/share/Setzer/resources/icons/hicolor/scalable/actions/own-quotes-symbolic.svg
-rw-r--r-- root/root      5033 2020-04-28 10:08 ./usr/share/Setzer/resources/icons/hicolor/scalable/actions/own-quotes.svg
-rw-r--r-- root/root      3390 2020-04-28 10:08 ./usr/share/Setzer/resources/icons/hicolor/scalable/actions/own-searchandreplacearrow-symbolic.svg
-rw-r--r-- root/root      2952 2020-04-28 10:08 ./usr/share/Setzer/resources/icons/hicolor/scalable/actions/own-symbols-arrows-symbolic.svg
-rw-r--r-- root/root      4133 2020-04-28 10:08 ./usr/share/Setzer/resources/icons/hicolor/scalable/actions/own-symbols-delimiters-symbolic.svg
-rw-r--r-- root/root      2905 2020-04-28 10:08 ./usr/share/Setzer/resources/icons/hicolor/scalable/actions/own-symbols-greek-letters-symbolic.svg
-rw-r--r-- root/root      2544 2020-04-28 10:08 ./usr/share/Setzer/resources/icons/hicolor/scalable/actions/own-symbols-misc-math-symbolic.svg
-rw-r--r-- root/root      4106 2020-04-28 10:08 ./usr/share/Setzer/resources/icons/hicolor/scalable/actions/own-symbols-misc-text-symbolic.svg
-rw-r--r-- root/root      2728 2020-04-28 10:08 ./usr/share/Setzer/resources/icons/hicolor/scalable/actions/own-symbols-operators-symbolic.svg
-rw-r--r-- root/root      3676 2020-04-28 10:08 ./usr/share/Setzer/resources/icons/hicolor/scalable/actions/own-symbols-relations-symbolic.svg
-rw-r--r-- root/root      1606 2020-04-28 10:08 ./usr/share/Setzer/resources/icons/hicolor/scalable/actions/own-unfolded-symbolic.svg
-rw-r--r-- root/root      7636 2020-04-28 10:08 ./usr/share/Setzer/resources/icons/hicolor/scalable/actions/own-wizard-symbolic.svg
-rw-r--r-- root/root      1875 2020-04-28 10:08 ./usr/share/Setzer/resources/icons/hicolor/scalable/actions/text-symbolic.svg
-rw-r--r-- root/root       922 2020-04-28 10:08 ./usr/share/Setzer/resources/icons/hicolor/scalable/actions/view-list-ordered-symbolic.svg
-rw-r--r-- root/root      1231 2020-04-28 10:08 ./usr/share/Setzer/resources/icons/hicolor/scalable/actions/view-paged-symbolic.svg
-rw-r--r-- root/root     12219 2020-04-28 10:08 ./usr/share/Setzer/resources/style_gtk.css
drwxr-xr-x root/root         0 2020-05-01 14:28 ./usr/share/Setzer/resources/symbols/
drwxr-xr-x root/root         0 2020-05-01 14:28 ./usr/share/Setzer/resources/symbols/arrows/
-rw-r--r-- root/root      1564 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/arrows/sidebar-Downarrow-symbolic.svg
-rw-r--r-- root/root      1646 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/arrows/sidebar-Leftarrow-symbolic.svg
-rw-r--r-- root/root      2000 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/arrows/sidebar-Leftrightarrow-symbolic.svg
-rw-r--r-- root/root      1460 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/arrows/sidebar-Lleftarrow-symbolic.svg
-rw-r--r-- root/root      2434 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/arrows/sidebar-Longleftarrow-symbolic.svg
-rw-r--r-- root/root      2997 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/arrows/sidebar-Longleftrightarrow-symbolic.svg
-rw-r--r-- root/root      2468 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/arrows/sidebar-Longrightarrow-symbolic.svg
-rw-r--r-- root/root      1013 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/arrows/sidebar-Lsh-symbolic.svg
-rw-r--r-- root/root      1681 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/arrows/sidebar-Rightarrow-symbolic.svg
-rw-r--r-- root/root      1003 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/arrows/sidebar-Rsh-symbolic.svg
-rw-r--r-- root/root      1559 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/arrows/sidebar-Uparrow-symbolic.svg
-rw-r--r-- root/root      2121 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/arrows/sidebar-Updownarrow-symbolic.svg
-rw-r--r-- root/root      1580 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/arrows/sidebar-circlearrowleft-symbolic.svg
-rw-r--r-- root/root      1606 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/arrows/sidebar-circlearrowright-symbolic.svg
-rw-r--r-- root/root      1432 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/arrows/sidebar-curvearrowleft-symbolic.svg
-rw-r--r-- root/root      1405 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/arrows/sidebar-curvearrowright-symbolic.svg
-rw-r--r-- root/root      1658 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/arrows/sidebar-dashleftarrow-symbolic.svg
-rw-r--r-- root/root      1668 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/arrows/sidebar-dashrightarrow-symbolic.svg
-rw-r--r-- root/root      1362 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/arrows/sidebar-downarrow-symbolic.svg
-rw-r--r-- root/root      1325 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/arrows/sidebar-downdownarrows-symbolic.svg
-rw-r--r-- root/root       821 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/arrows/sidebar-downharpoonleft-symbolic.svg
-rw-r--r-- root/root       818 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/arrows/sidebar-downharpoonright-symbolic.svg
-rw-r--r-- root/root      2091 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/arrows/sidebar-hookleftarrow-symbolic.svg
-rw-r--r-- root/root      2074 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/arrows/sidebar-hookrightarrow-symbolic.svg
-rw-r--r-- root/root      1332 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/arrows/sidebar-leftarrow-symbolic.svg
-rw-r--r-- root/root      1120 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/arrows/sidebar-leftarrowtail-symbolic.svg
-rw-r--r-- root/root      1021 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/arrows/sidebar-leftharpoondown-symbolic.svg
-rw-r--r-- root/root      1048 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/arrows/sidebar-leftharpoonup-symbolic.svg
-rw-r--r-- root/root      1287 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/arrows/sidebar-leftleftarrows-symbolic.svg
-rw-r--r-- root/root      1870 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/arrows/sidebar-leftrightarrow-symbolic.svg
-rw-r--r-- root/root      1335 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/arrows/sidebar-leftrightarrows-symbolic.svg
-rw-r--r-- root/root      1146 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/arrows/sidebar-leftrightharpoons-symbolic.svg
-rw-r--r-- root/root      2401 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/arrows/sidebar-leftrightsquigarrow-symbolic.svg
-rw-r--r-- root/root      1790 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/arrows/sidebar-longleftarrow-symbolic.svg
-rw-r--r-- root/root      2325 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/arrows/sidebar-longleftrightarrow-symbolic.svg
-rw-r--r-- root/root      2327 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/arrows/sidebar-longmapsto-symbolic.svg
-rw-r--r-- root/root      1780 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/arrows/sidebar-longrightarrow-symbolic.svg
-rw-r--r-- root/root      1364 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/arrows/sidebar-looparrowleft-symbolic.svg
-rw-r--r-- root/root      1352 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/arrows/sidebar-looparrowright-symbolic.svg
-rw-r--r-- root/root      1869 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/arrows/sidebar-mapsto-symbolic.svg
-rw-r--r-- root/root      2200 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/arrows/sidebar-nLeftarrow-symbolic.svg
-rw-r--r-- root/root      2522 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/arrows/sidebar-nLeftrightarrow-symbolic.svg
-rw-r--r-- root/root      2215 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/arrows/sidebar-nRightarrow-symbolic.svg
-rw-r--r-- root/root      1668 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/arrows/sidebar-nearrow-symbolic.svg
-rw-r--r-- root/root      1660 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/arrows/sidebar-nleftarrow-symbolic.svg
-rw-r--r-- root/root      2099 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/arrows/sidebar-nleftrightarrow-symbolic.svg
-rw-r--r-- root/root      1676 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/arrows/sidebar-nrightarrow-symbolic.svg
-rw-r--r-- root/root      1643 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/arrows/sidebar-nwarrow-symbolic.svg
-rw-r--r-- root/root      1323 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/arrows/sidebar-rightarrow-symbolic.svg
-rw-r--r-- root/root      1127 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/arrows/sidebar-rightarrowtail-symbolic.svg
-rw-r--r-- root/root      1025 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/arrows/sidebar-rightharpoondown-symbolic.svg
-rw-r--r-- root/root      1042 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/arrows/sidebar-rightharpoonup-symbolic.svg
-rw-r--r-- root/root      1342 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/arrows/sidebar-rightleftarrows-symbolic.svg
-rw-r--r-- root/root      1732 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/arrows/sidebar-rightleftharpoons-symbolic.svg
-rw-r--r-- root/root      1298 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/arrows/sidebar-rightrightarrows-symbolic.svg
-rw-r--r-- root/root      1681 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/arrows/sidebar-rightsquigarrow-symbolic.svg
-rw-r--r-- root/root      1595 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/arrows/sidebar-searrow-symbolic.svg
-rw-r--r-- root/root      1593 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/arrows/sidebar-swarrow-symbolic.svg
-rw-r--r-- root/root      1231 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/arrows/sidebar-twoheadleftarrow-symbolic.svg
-rw-r--r-- root/root      1244 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/arrows/sidebar-twoheadrightarrow-symbolic.svg
-rw-r--r-- root/root      1366 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/arrows/sidebar-uparrow-symbolic.svg
-rw-r--r-- root/root      2126 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/arrows/sidebar-updownarrow-symbolic.svg
-rw-r--r-- root/root       814 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/arrows/sidebar-upharpoonleft-symbolic.svg
-rw-r--r-- root/root       820 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/arrows/sidebar-upharpoonright-symbolic.svg
-rw-r--r-- root/root      1290 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/arrows/sidebar-upuparrows-symbolic.svg
-rw-r--r-- root/root      7909 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/arrows.xml
drwxr-xr-x root/root         0 2020-05-01 14:28 ./usr/share/Setzer/resources/symbols/greek_letters/
-rw-r--r-- root/root       948 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/greek_letters/sidebar-Delta-symbolic.svg
-rw-r--r-- root/root      1138 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/greek_letters/sidebar-Gamma-symbolic.svg
-rw-r--r-- root/root      1290 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/greek_letters/sidebar-Lambda-symbolic.svg
-rw-r--r-- root/root      1601 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/greek_letters/sidebar-Omega-symbolic.svg
-rw-r--r-- root/root      1689 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/greek_letters/sidebar-Phi-symbolic.svg
-rw-r--r-- root/root      1411 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/greek_letters/sidebar-Pi-symbolic.svg
-rw-r--r-- root/root      1843 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/greek_letters/sidebar-Psi-symbolic.svg
-rw-r--r-- root/root      1109 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/greek_letters/sidebar-Sigma-symbolic.svg
-rw-r--r-- root/root      1197 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/greek_letters/sidebar-Theta-symbolic.svg
-rw-r--r-- root/root      1528 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/greek_letters/sidebar-Upsilon-symbolic.svg
-rw-r--r-- root/root      1433 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/greek_letters/sidebar-Xi-symbolic.svg
-rw-r--r-- root/root      1689 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/greek_letters/sidebar-alpha-symbolic.svg
-rw-r--r-- root/root      1933 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/greek_letters/sidebar-beta-symbolic.svg
-rw-r--r-- root/root      1869 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/greek_letters/sidebar-chi-symbolic.svg
-rw-r--r-- root/root      1482 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/greek_letters/sidebar-delta-symbolic.svg
-rw-r--r-- root/root      1291 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/greek_letters/sidebar-epsilon-symbolic.svg
-rw-r--r-- root/root      1877 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/greek_letters/sidebar-eta-symbolic.svg
-rw-r--r-- root/root      1513 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/greek_letters/sidebar-gamma-symbolic.svg
-rw-r--r-- root/root      1302 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/greek_letters/sidebar-iota-symbolic.svg
-rw-r--r-- root/root      1990 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/greek_letters/sidebar-kappa-symbolic.svg
-rw-r--r-- root/root      1455 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/greek_letters/sidebar-lambda-symbolic.svg
-rw-r--r-- root/root      1854 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/greek_letters/sidebar-mu-symbolic.svg
-rw-r--r-- root/root      1226 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/greek_letters/sidebar-nu-symbolic.svg
-rw-r--r-- root/root      1756 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/greek_letters/sidebar-omega-symbolic.svg
-rw-r--r-- root/root      1541 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/greek_letters/sidebar-phi-symbolic.svg
-rw-r--r-- root/root      1524 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/greek_letters/sidebar-pi-symbolic.svg
-rw-r--r-- root/root      2116 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/greek_letters/sidebar-psi-symbolic.svg
-rw-r--r-- root/root      1303 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/greek_letters/sidebar-rho-symbolic.svg
-rw-r--r-- root/root      1142 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/greek_letters/sidebar-sigma-symbolic.svg
-rw-r--r-- root/root      1122 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/greek_letters/sidebar-tau-symbolic.svg
-rw-r--r-- root/root      1263 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/greek_letters/sidebar-theta-symbolic.svg
-rw-r--r-- root/root      1606 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/greek_letters/sidebar-upsilon-symbolic.svg
-rw-r--r-- root/root       882 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/greek_letters/sidebar-varDelta-symbolic.svg
-rw-r--r-- root/root      1805 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/greek_letters/sidebar-varGamma-symbolic.svg
-rw-r--r-- root/root      1517 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/greek_letters/sidebar-varLambda-symbolic.svg
-rw-r--r-- root/root      2138 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/greek_letters/sidebar-varOmega-symbolic.svg
-rw-r--r-- root/root      2235 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/greek_letters/sidebar-varPhi-symbolic.svg
-rw-r--r-- root/root      1913 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/greek_letters/sidebar-varPi-symbolic.svg
-rw-r--r-- root/root      2449 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/greek_letters/sidebar-varPsi-symbolic.svg
-rw-r--r-- root/root      1493 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/greek_letters/sidebar-varSigma-symbolic.svg
-rw-r--r-- root/root      1880 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/greek_letters/sidebar-varTheta-symbolic.svg
-rw-r--r-- root/root      1958 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/greek_letters/sidebar-varUpsilon-symbolic.svg
-rw-r--r-- root/root      2749 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/greek_letters/sidebar-varXi-symbolic.svg
-rw-r--r-- root/root      1852 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/greek_letters/sidebar-varepsilon-symbolic.svg
-rw-r--r-- root/root      1592 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/greek_letters/sidebar-varphi-symbolic.svg
-rw-r--r-- root/root      1932 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/greek_letters/sidebar-varpi-symbolic.svg
-rw-r--r-- root/root      1613 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/greek_letters/sidebar-varrho-symbolic.svg
-rw-r--r-- root/root      1480 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/greek_letters/sidebar-varsigma-symbolic.svg
-rw-r--r-- root/root      2248 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/greek_letters/sidebar-vartheta-symbolic.svg
-rw-r--r-- root/root      2638 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/greek_letters/sidebar-xi-symbolic.svg
-rw-r--r-- root/root      1924 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/greek_letters/sidebar-zeta-symbolic.svg
-rw-r--r-- root/root      5185 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/greek_letters.xml
drwxr-xr-x root/root         0 2020-05-01 14:28 ./usr/share/Setzer/resources/symbols/misc_math/
-rw-r--r-- root/root      2540 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-Bbbk-symbolic.svg
-rw-r--r-- root/root       898 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-Box-symbolic.svg
-rw-r--r-- root/root      1120 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-Diamond-symbolic.svg
-rw-r--r-- root/root      1038 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-Finv-symbolic.svg
-rw-r--r-- root/root      1510 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-Game-symbolic.svg
-rw-r--r-- root/root      2378 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-Im-symbolic.svg
-rw-r--r-- root/root      3135 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-Re-symbolic.svg
-rw-r--r-- root/root      2334 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-acute-symbolic.svg
-rw-r--r-- root/root      2148 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-aleph-symbolic.svg
-rw-r--r-- root/root      1132 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-angle-symbolic.svg
-rw-r--r-- root/root       958 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-backprime-symbolic.svg
-rw-r--r-- root/root       891 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-backslash-symbolic.svg
-rw-r--r-- root/root      2143 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-bar-symbolic.svg
-rw-r--r-- root/root      1369 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-bigstar-symbolic.svg
-rw-r--r-- root/root      1024 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-blacklozenge-symbolic.svg
-rw-r--r-- root/root       809 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-blacksquare-symbolic.svg
-rw-r--r-- root/root       901 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-blacktriangle-symbolic.svg
-rw-r--r-- root/root       914 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-blacktriangledown-symbolic.svg
-rw-r--r-- root/root       946 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-bot-symbolic.svg
-rw-r--r-- root/root      2348 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-breve-symbolic.svg
-rw-r--r-- root/root       784 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-cdotp-symbolic.svg
-rw-r--r-- root/root      1006 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-cdots-symbolic.svg
-rw-r--r-- root/root      2200 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-check-symbolic.svg
-rw-r--r-- root/root      2415 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-circledR-symbolic.svg
-rw-r--r-- root/root      2495 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-circledS-symbolic.svg
-rw-r--r-- root/root      1601 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-clubsuit-symbolic.svg
-rw-r--r-- root/root       982 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-colon-symbolic.svg
-rw-r--r-- root/root      1658 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-complement-symbolic.svg
-rw-r--r-- root/root      2460 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-ddddot-symbolic.svg
-rw-r--r-- root/root      2415 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-dddot-symbolic.svg
-rw-r--r-- root/root      2675 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-ddot-symbolic.svg
-rw-r--r-- root/root       973 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-ddots-symbolic.svg
-rw-r--r-- root/root       879 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-diagdown-symbolic.svg
-rw-r--r-- root/root       872 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-diagup-symbolic.svg
-rw-r--r-- root/root      1769 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-diamondsuit-symbolic.svg
-rw-r--r-- root/root      2480 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-dot-symbolic.svg
-rw-r--r-- root/root      1655 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-ell-symbolic.svg
-rw-r--r-- root/root      1796 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-emptyset-symbolic.svg
-rw-r--r-- root/root      2217 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-eth-symbolic.svg
-rw-r--r-- root/root      1094 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-exists-symbolic.svg
-rw-r--r-- root/root      2488 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-f1-symbolic.svg
-rw-r--r-- root/root      2546 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-f2-symbolic.svg
-rw-r--r-- root/root      1354 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-flat-symbolic.svg
-rw-r--r-- root/root      1111 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-forall-symbolic.svg
-rw-r--r-- root/root      2310 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-grave-symbolic.svg
-rw-r--r-- root/root      2212 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-hat-symbolic.svg
-rw-r--r-- root/root      2362 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-hbar-symbolic.svg
-rw-r--r-- root/root      1753 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-heartsuit-symbolic.svg
-rw-r--r-- root/root      2420 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-hslash-symbolic.svg
-rw-r--r-- root/root      1442 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-imath-symbolic.svg
-rw-r--r-- root/root      1123 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-in-symbolic.svg
-rw-r--r-- root/root      1650 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-infty-symbolic.svg
-rw-r--r-- root/root      1366 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-jmath-symbolic.svg
-rw-r--r-- root/root       766 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-ldotp-symbolic.svg
-rw-r--r-- root/root       984 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-ldots-symbolic.svg
-rw-r--r-- root/root      1120 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-lozenge-symbolic.svg
-rw-r--r-- root/root      1853 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-mathbbC-symbolic.svg
-rw-r--r-- root/root      1550 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-mathbbI-symbolic.svg
-rw-r--r-- root/root      1829 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-mathbbN-symbolic.svg
-rw-r--r-- root/root      2131 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-mathbbQ-symbolic.svg
-rw-r--r-- root/root      2417 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-mathbbR-symbolic.svg
-rw-r--r-- root/root      1725 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-mathbbZ-symbolic.svg
-rw-r--r-- root/root      2536 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-mathring-symbolic.svg
-rw-r--r-- root/root      1242 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-measuredangle-symbolic.svg
-rw-r--r-- root/root      2061 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-mho-symbolic.svg
-rw-r--r-- root/root       990 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-nabla-symbolic.svg
-rw-r--r-- root/root      1173 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-natural-symbolic.svg
-rw-r--r-- root/root       870 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-neg-symbolic.svg
-rw-r--r-- root/root      1881 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-nexists-symbolic.svg
-rw-r--r-- root/root      1177 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-ni-symbolic.svg
-rw-r--r-- root/root      1929 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-notin-symbolic.svg
-rw-r--r-- root/root      6454 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-overbrace-symbolic.svg
-rw-r--r-- root/root      5573 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-overleftarrow-symbolic.svg
-rw-r--r-- root/root      6107 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-overleftrightarrow-symbolic.svg
-rw-r--r-- root/root      4273 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-overline-symbolic.svg
-rw-r--r-- root/root      5564 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-overrightarrow-symbolic.svg
-rw-r--r-- root/root      1481 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-partial-symbolic.svg
-rw-r--r-- root/root       901 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-prime-symbolic.svg
-rw-r--r-- root/root      2222 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-sharp-symbolic.svg
-rw-r--r-- root/root      1436 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-spadesuit-symbolic.svg
-rw-r--r-- root/root      1298 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-sphericalangle-symbolic.svg
-rw-r--r-- root/root      2988 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-sqrt-symbolic.svg
-rw-r--r-- root/root       898 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-square-symbolic.svg
-rw-r--r-- root/root      4847 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-stackrel-symbolic.svg
-rw-r--r-- root/root      1214 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-surd-symbolic.svg
-rw-r--r-- root/root      2675 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-tilde-symbolic.svg
-rw-r--r-- root/root       908 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-top-symbolic.svg
-rw-r--r-- root/root       948 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-triangle-symbolic.svg
-rw-r--r-- root/root       967 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-triangledown-symbolic.svg
-rw-r--r-- root/root      6463 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-underbrace-symbolic.svg
-rw-r--r-- root/root      5575 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-underleftarrow-symbolic.svg
-rw-r--r-- root/root      6109 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-underleftrightarrow-symbolic.svg
-rw-r--r-- root/root      4264 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-underline-symbolic.svg
-rw-r--r-- root/root      5566 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-underrightarrow-symbolic.svg
-rw-r--r-- root/root      1697 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-varnothing-symbolic.svg
-rw-r--r-- root/root       961 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-vartriangle-symbolic.svg
-rw-r--r-- root/root       975 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-vdots-symbolic.svg
-rw-r--r-- root/root      2680 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-vec-symbolic.svg
-rw-r--r-- root/root      4460 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-widehat-symbolic.svg
-rw-r--r-- root/root      4874 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-widetilde-symbolic.svg
-rw-r--r-- root/root      2034 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-wp-symbolic.svg
-rw-r--r-- root/root      5605 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-xleftarrow-symbolic.svg
-rw-r--r-- root/root      5595 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math/sidebar-xrightarrow-symbolic.svg
-rw-r--r-- root/root     12215 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_math.xml
drwxr-xr-x root/root         0 2020-05-01 14:28 ./usr/share/Setzer/resources/symbols/misc_text/
-rw-r--r-- root/root      1408 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-CheckedBox-symbolic.svg
-rw-r--r-- root/root      2035 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-Cutleft-symbolic.svg
-rw-r--r-- root/root       795 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-Cutline-symbolic.svg
-rw-r--r-- root/root      1963 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-Cutright-symbolic.svg
-rw-r--r-- root/root       759 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-Kutline-symbolic.svg
-rw-r--r-- root/root      2032 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-Leftscissors-symbolic.svg
-rw-r--r-- root/root      2045 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-Rightscissors-symbolic.svg
-rw-r--r-- root/root      2224 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-S-symbolic.svg
-rw-r--r-- root/root       929 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-Square-symbolic.svg
-rw-r--r-- root/root      1110 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-XBox-symbolic.svg
-rw-r--r-- root/root       891 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-backslash-symbolic.svg
-rw-r--r-- root/root       833 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-bracevert-symbolic.svg
-rw-r--r-- root/root      1596 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-cbracketl-symbolic.svg
-rw-r--r-- root/root      1621 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-cbracketr-symbolic.svg
-rw-r--r-- root/root      1200 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-checkmark-symbolic.svg
-rw-r--r-- root/root      1962 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-dag-symbolic.svg
-rw-r--r-- root/root      3070 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-ddag-symbolic.svg
-rw-r--r-- root/root      1925 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-dollar-symbolic.svg
-rw-r--r-- root/root      1181 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-dots-symbolic.svg
-rw-r--r-- root/root      1051 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-dvertical-symbolic.svg
-rw-r--r-- root/root      1927 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-geneuro-symbolic.svg
-rw-r--r-- root/root      1934 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-geneuronarrow-symbolic.svg
-rw-r--r-- root/root      2077 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-geneurowide-symbolic.svg
-rw-r--r-- root/root      1045 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-langle-symbolic.svg
-rw-r--r-- root/root       897 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-lceil-symbolic.svg
-rw-r--r-- root/root       884 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-lfloor-symbolic.svg
-rw-r--r-- root/root       889 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-llcorner-symbolic.svg
-rw-r--r-- root/root       880 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-lrcorner-symbolic.svg
-rw-r--r-- root/root      1875 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-maltese-symbolic.svg
-rw-r--r-- root/root      2515 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-officialeuro-symbolic.svg
-rw-r--r-- root/root      1076 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-oldstylenums0-symbolic.svg
-rw-r--r-- root/root      1360 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-oldstylenums1-symbolic.svg
-rw-r--r-- root/root      1539 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-oldstylenums2-symbolic.svg
-rw-r--r-- root/root      1788 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-oldstylenums3-symbolic.svg
-rw-r--r-- root/root      1451 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-oldstylenums4-symbolic.svg
-rw-r--r-- root/root      1864 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-oldstylenums5-symbolic.svg
-rw-r--r-- root/root      1681 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-oldstylenums6-symbolic.svg
-rw-r--r-- root/root      1456 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-oldstylenums7-symbolic.svg
-rw-r--r-- root/root      1519 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-oldstylenums8-symbolic.svg
-rw-r--r-- root/root      1592 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-oldstylenums9-symbolic.svg
-rw-r--r-- root/root      1998 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-pounds-symbolic.svg
-rw-r--r-- root/root      1051 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-rangle-symbolic.svg
-rw-r--r-- root/root      1078 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-rbracketl-symbolic.svg
-rw-r--r-- root/root      1056 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-rbracketr-symbolic.svg
-rw-r--r-- root/root       876 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-rceil-symbolic.svg
-rw-r--r-- root/root       866 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-rfloor-symbolic.svg
-rw-r--r-- root/root       710 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-sbracketl-symbolic.svg
-rw-r--r-- root/root       692 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-sbracketr-symbolic.svg
-rw-r--r-- root/root       902 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-slash-symbolic.svg
-rw-r--r-- root/root      1074 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-textacutedbl-symbolic.svg
-rw-r--r-- root/root       822 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-textasciiacute-symbolic.svg
-rw-r--r-- root/root       801 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-textasciibreve-symbolic.svg
-rw-r--r-- root/root       666 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-textasciicaron-symbolic.svg
-rw-r--r-- root/root       666 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-textasciicircum-symbolic.svg
-rw-r--r-- root/root       971 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-textasciidieresis-symbolic.svg
-rw-r--r-- root/root       802 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-textasciigrave-symbolic.svg
-rw-r--r-- root/root       620 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-textasciimacron-symbolic.svg
-rw-r--r-- root/root      1160 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-textasciitilde-symbolic.svg
-rw-r--r-- root/root      2126 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-textasteriskcentered-symbolic.svg
-rw-r--r-- root/root       916 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-textbackslash-symbolic.svg
-rw-r--r-- root/root      1914 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-textbaht-symbolic.svg
-rw-r--r-- root/root       822 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-textbar-symbolic.svg
-rw-r--r-- root/root      1088 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-textbardbl-symbolic.svg
-rw-r--r-- root/root       522 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-textbigcircle-symbolic.svg
-rw-r--r-- root/root      1741 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-textblank-symbolic.svg
-rw-r--r-- root/root      1787 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-textborn-symbolic.svg
-rw-r--r-- root/root      1085 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-textbrokenbar-symbolic.svg
-rw-r--r-- root/root       774 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-textbullet-symbolic.svg
-rw-r--r-- root/root      2171 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-textcelsius-symbolic.svg
-rw-r--r-- root/root      1565 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-textcent-symbolic.svg
-rw-r--r-- root/root      1722 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-textcentoldstyle-symbolic.svg
-rw-r--r-- root/root      2344 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-textcircleda-symbolic.svg
-rw-r--r-- root/root      1691 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-textcolonmonetary-symbolic.svg
-rw-r--r-- root/root      1812 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-textcopyleft-symbolic.svg
-rw-r--r-- root/root      1775 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-textcopyright-symbolic.svg
-rw-r--r-- root/root      1772 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-textcurrency-symbolic.svg
-rw-r--r-- root/root       691 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-textdblhyphen-symbolic.svg
-rw-r--r-- root/root       834 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-textdblhyphenchar-symbolic.svg
-rw-r--r-- root/root      1014 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-textdegree-symbolic.svg
-rw-r--r-- root/root      1746 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-textdied-symbolic.svg
-rw-r--r-- root/root      1636 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-textdiscount-symbolic.svg
-rw-r--r-- root/root      1285 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-textdiv-symbolic.svg
-rw-r--r-- root/root      2617 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-textdivorced-symbolic.svg
-rw-r--r-- root/root      1925 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-textdollar-symbolic.svg
-rw-r--r-- root/root      2500 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-textdollaroldstyle-symbolic.svg
-rw-r--r-- root/root      1759 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-textdong-symbolic.svg
-rw-r--r-- root/root       913 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-textdownarrow-symbolic.svg
-rw-r--r-- root/root       606 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-textemdash-symbolic.svg
-rw-r--r-- root/root       606 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-textendash-symbolic.svg
-rw-r--r-- root/root      1517 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-textestimated-symbolic.svg
-rw-r--r-- root/root      2591 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-texteuro-symbolic.svg
-rw-r--r-- root/root      1056 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-textexclamdown-symbolic.svg
-rw-r--r-- root/root      1393 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-textflorin-symbolic.svg
-rw-r--r-- root/root       939 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-textfractionsolidus-symbolic.svg
-rw-r--r-- root/root       522 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-textgravedbl-symbolic.svg
-rw-r--r-- root/root      1070 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-textgreater-symbolic.svg
-rw-r--r-- root/root      2177 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-textguarani-symbolic.svg
-rw-r--r-- root/root      1771 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-textinterrobang-symbolic.svg
-rw-r--r-- root/root       522 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-textinterrobangdown-symbolic.svg
-rw-r--r-- root/root      1222 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-textlangle-symbolic.svg
-rw-r--r-- root/root       780 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-textlbrackdbl-symbolic.svg
-rw-r--r-- root/root      2161 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-textleaf-symbolic.svg
-rw-r--r-- root/root      1177 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-textleftarrow-symbolic.svg
-rw-r--r-- root/root      1070 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-textless-symbolic.svg
-rw-r--r-- root/root      2162 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-textlira-symbolic.svg
-rw-r--r-- root/root       922 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-textlnot-symbolic.svg
-rw-r--r-- root/root      1555 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-textlquill-symbolic.svg
-rw-r--r-- root/root      2319 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-textmarried-symbolic.svg
-rw-r--r-- root/root      1637 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-textmho-symbolic.svg
-rw-r--r-- root/root       820 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-textminus-symbolic.svg
-rw-r--r-- root/root      1417 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-textmu-symbolic.svg
-rw-r--r-- root/root      1199 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-textmusicalnote-symbolic.svg
-rw-r--r-- root/root      2432 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-textnaira-symbolic.svg
-rw-r--r-- root/root      2538 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-textnumero-symbolic.svg
-rw-r--r-- root/root      1601 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-textohm-symbolic.svg
-rw-r--r-- root/root      2258 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-textonehalf-symbolic.svg
-rw-r--r-- root/root      2046 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-textonequarter-symbolic.svg
-rw-r--r-- root/root      1084 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-textonesuperior-symbolic.svg
-rw-r--r-- root/root      1000 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-textopenbullet-symbolic.svg
-rw-r--r-- root/root      1884 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-textordfeminine-symbolic.svg
-rw-r--r-- root/root      1509 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-textordmasculine-symbolic.svg
-rw-r--r-- root/root       757 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-textperiodcentered-symbolic.svg
-rw-r--r-- root/root      3070 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-textpertenthousand-symbolic.svg
-rw-r--r-- root/root      2585 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-textperthousand-symbolic.svg
-rw-r--r-- root/root      1661 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-textpeso-symbolic.svg
-rw-r--r-- root/root      1279 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-textpilcrow-symbolic.svg
-rw-r--r-- root/root      1250 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-textpm-symbolic.svg
-rw-r--r-- root/root      1557 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-textquestiondown-symbolic.svg
-rw-r--r-- root/root      1530 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-textquotedblleft-symbolic.svg
-rw-r--r-- root/root      1585 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-textquotedblright-symbolic.svg
-rw-r--r-- root/root      1049 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-textquoteleft-symbolic.svg
-rw-r--r-- root/root      1056 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-textquoteright-symbolic.svg
-rw-r--r-- root/root       695 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-textquotesingle-symbolic.svg
-rw-r--r-- root/root       844 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-textquotestraightbase-symbolic.svg
-rw-r--r-- root/root      1466 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-textquotestraightdblbase-symbolic.svg
-rw-r--r-- root/root      1235 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-textrangle-symbolic.svg
-rw-r--r-- root/root       770 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-textrbrackdbl-symbolic.svg
-rw-r--r-- root/root      2391 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-textrecipe-symbolic.svg
-rw-r--r-- root/root      2068 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-textreferencemark-symbolic.svg
-rw-r--r-- root/root      2404 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-textregistered-symbolic.svg
-rw-r--r-- root/root      1249 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-textrightarrow-symbolic.svg
-rw-r--r-- root/root      1582 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-textrquill-symbolic.svg
-rw-r--r-- root/root      2995 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-textservicemark-symbolic.svg
-rw-r--r-- root/root      1419 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-textsurd-symbolic.svg
-rw-r--r-- root/root      2721 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-textthreequarters-symbolic.svg
-rw-r--r-- root/root       610 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-textthreequartersemdash-symbolic.svg
-rw-r--r-- root/root      1757 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-textthreesuperior-symbolic.svg
-rw-r--r-- root/root       522 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-texttildelow-symbolic.svg
-rw-r--r-- root/root      1136 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-texttimes-symbolic.svg
-rw-r--r-- root/root      2387 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-texttrademark-symbolic.svg
-rw-r--r-- root/root       611 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-texttwelveudash-symbolic.svg
-rw-r--r-- root/root      1322 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-texttwosuperior-symbolic.svg
-rw-r--r-- root/root       920 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-textuparrow-symbolic.svg
-rw-r--r-- root/root       856 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-textvisiblespace-symbolic.svg
-rw-r--r-- root/root      3031 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-textwon-symbolic.svg
-rw-r--r-- root/root      1848 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-textyen-symbolic.svg
-rw-r--r-- root/root       898 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-ulcorner-symbolic.svg
-rw-r--r-- root/root       602 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-underscore-symbolic.svg
-rw-r--r-- root/root       890 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-urcorner-symbolic.svg
-rw-r--r-- root/root       791 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text/sidebar-vertical-symbolic.svg
-rw-r--r-- root/root     18135 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/misc_text.xml
drwxr-xr-x root/root         0 2020-05-01 14:28 ./usr/share/Setzer/resources/symbols/operators/
-rw-r--r-- root/root      1740 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/operators/sidebar-Cap-symbolic.svg
-rw-r--r-- root/root      1763 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/operators/sidebar-Cup-symbolic.svg
-rw-r--r-- root/root      1905 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/operators/sidebar-amalg-symbolic.svg
-rw-r--r-- root/root      1657 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/operators/sidebar-ast-symbolic.svg
-rw-r--r-- root/root      1255 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/operators/sidebar-barwedge-symbolic.svg
-rw-r--r-- root/root       987 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/operators/sidebar-bigcap-symbolic.svg
-rw-r--r-- root/root      1026 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/operators/sidebar-bigcirc-symbolic.svg
-rw-r--r-- root/root       984 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/operators/sidebar-bigcup-symbolic.svg
-rw-r--r-- root/root      1174 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/operators/sidebar-bigodot-symbolic.svg
-rw-r--r-- root/root      1080 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/operators/sidebar-bigoplus-symbolic.svg
-rw-r--r-- root/root      1289 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/operators/sidebar-bigotimes-symbolic.svg
-rw-r--r-- root/root       913 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/operators/sidebar-bigsqcup-symbolic.svg
-rw-r--r-- root/root       986 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/operators/sidebar-bigtriangledown-symbolic.svg
-rw-r--r-- root/root       948 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/operators/sidebar-bigtriangleup-symbolic.svg
-rw-r--r-- root/root      1508 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/operators/sidebar-biguplus-symbolic.svg
-rw-r--r-- root/root       989 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/operators/sidebar-bigvee-symbolic.svg
-rw-r--r-- root/root      1000 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/operators/sidebar-bigwedge-symbolic.svg
-rw-r--r-- root/root      1124 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/operators/sidebar-boxdot-symbolic.svg
-rw-r--r-- root/root       976 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/operators/sidebar-boxminus-symbolic.svg
-rw-r--r-- root/root      1133 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/operators/sidebar-boxplus-symbolic.svg
-rw-r--r-- root/root      1052 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/operators/sidebar-boxtimes-symbolic.svg
-rw-r--r-- root/root       770 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/operators/sidebar-bullet-symbolic.svg
-rw-r--r-- root/root      1126 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/operators/sidebar-cap-symbolic.svg
-rw-r--r-- root/root       784 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/operators/sidebar-cdot-symbolic.svg
-rw-r--r-- root/root      1024 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/operators/sidebar-circ-symbolic.svg
-rw-r--r-- root/root      2281 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/operators/sidebar-circledast-symbolic.svg
-rw-r--r-- root/root      1474 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/operators/sidebar-circledcirc-symbolic.svg
-rw-r--r-- root/root      1270 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/operators/sidebar-circleddash-symbolic.svg
-rw-r--r-- root/root      1073 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/operators/sidebar-coprod-symbolic.svg
-rw-r--r-- root/root      1118 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/operators/sidebar-cup-symbolic.svg
-rw-r--r-- root/root      1373 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/operators/sidebar-curlyvee-symbolic.svg
-rw-r--r-- root/root      1398 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/operators/sidebar-curlywedge-symbolic.svg
-rw-r--r-- root/root      1956 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/operators/sidebar-dagger-symbolic.svg
-rw-r--r-- root/root      3080 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/operators/sidebar-ddagger-symbolic.svg
-rw-r--r-- root/root      1302 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/operators/sidebar-diamond-symbolic.svg
-rw-r--r-- root/root      1272 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/operators/sidebar-div-symbolic.svg
-rw-r--r-- root/root      2063 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/operators/sidebar-divideontimes-symbolic.svg
-rw-r--r-- root/root      1330 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/operators/sidebar-dotplus-symbolic.svg
-rw-r--r-- root/root      1550 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/operators/sidebar-doublebarwedge-symbolic.svg
-rw-r--r-- root/root      2312 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/operators/sidebar-idotsint-symbolic.svg
-rw-r--r-- root/root      1786 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/operators/sidebar-iiiint-symbolic.svg
-rw-r--r-- root/root      1678 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/operators/sidebar-iiint-symbolic.svg
-rw-r--r-- root/root      1571 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/operators/sidebar-iint-symbolic.svg
-rw-r--r-- root/root      1389 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/operators/sidebar-int-symbolic.svg
-rw-r--r-- root/root       978 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/operators/sidebar-intercal-symbolic.svg
-rw-r--r-- root/root      1115 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/operators/sidebar-leftthreetimes-symbolic.svg
-rw-r--r-- root/root       972 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/operators/sidebar-lhd-symbolic.svg
-rw-r--r-- root/root      1309 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/operators/sidebar-ltimes-symbolic.svg
-rw-r--r-- root/root      1219 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/operators/sidebar-mp-symbolic.svg
-rw-r--r-- root/root      1250 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/operators/sidebar-odot-symbolic.svg
-rw-r--r-- root/root      1902 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/operators/sidebar-oint-symbolic.svg
-rw-r--r-- root/root      1038 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/operators/sidebar-ominus-symbolic.svg
-rw-r--r-- root/root      1148 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/operators/sidebar-oplus-symbolic.svg
-rw-r--r-- root/root      1198 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/operators/sidebar-oslash-symbolic.svg
-rw-r--r-- root/root      1477 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/operators/sidebar-otimes-symbolic.svg
-rw-r--r-- root/root      1263 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/operators/sidebar-pm-symbolic.svg
-rw-r--r-- root/root      1087 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/operators/sidebar-prod-symbolic.svg
-rw-r--r-- root/root       977 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/operators/sidebar-rhd-symbolic.svg
-rw-r--r-- root/root      1111 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/operators/sidebar-rightthreetimes-symbolic.svg
-rw-r--r-- root/root      1273 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/operators/sidebar-rtimes-symbolic.svg
-rw-r--r-- root/root       891 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/operators/sidebar-setminus-symbolic.svg
-rw-r--r-- root/root       916 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/operators/sidebar-smallsetminus-symbolic.svg
-rw-r--r-- root/root       930 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/operators/sidebar-sqcap-symbolic.svg
-rw-r--r-- root/root       949 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/operators/sidebar-sqcup-symbolic.svg
-rw-r--r-- root/root      1381 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/operators/sidebar-star-symbolic.svg
-rw-r--r-- root/root      1154 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/operators/sidebar-sum-symbolic.svg
-rw-r--r-- root/root      1391 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/operators/sidebar-times-symbolic.svg
-rw-r--r-- root/root      1001 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/operators/sidebar-triangleleft-symbolic.svg
-rw-r--r-- root/root       984 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/operators/sidebar-triangleright-symbolic.svg
-rw-r--r-- root/root      1230 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/operators/sidebar-unlhd-symbolic.svg
-rw-r--r-- root/root      1237 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/operators/sidebar-unrhd-symbolic.svg
-rw-r--r-- root/root      1736 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/operators/sidebar-uplus-symbolic.svg
-rw-r--r-- root/root      4934 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/operators/sidebar-varinjlim-symbolic.svg
-rw-r--r-- root/root      3490 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/operators/sidebar-varliminf-symbolic.svg
-rw-r--r-- root/root      3493 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/operators/sidebar-varlimsup-symbolic.svg
-rw-r--r-- root/root      4942 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/operators/sidebar-varprojlim-symbolic.svg
-rw-r--r-- root/root      1062 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/operators/sidebar-vee-symbolic.svg
-rw-r--r-- root/root      1251 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/operators/sidebar-veebar-symbolic.svg
-rw-r--r-- root/root      1051 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/operators/sidebar-wedge-symbolic.svg
-rw-r--r-- root/root      1273 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/operators/sidebar-wr-symbolic.svg
-rw-r--r-- root/root      8986 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/operators.xml
drwxr-xr-x root/root         0 2020-05-01 14:28 ./usr/share/Setzer/resources/symbols/relations/
-rw-r--r-- root/root      2249 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-Join-symbolic.svg
-rw-r--r-- root/root      1740 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-Subset-symbolic.svg
-rw-r--r-- root/root      1756 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-Supset-symbolic.svg
-rw-r--r-- root/root      1206 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-Vdash-symbolic.svg
-rw-r--r-- root/root      1392 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-Vvdash-symbolic.svg
-rw-r--r-- root/root      1851 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-approx-symbolic.svg
-rw-r--r-- root/root      2072 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-approxeq-symbolic.svg
-rw-r--r-- root/root      1837 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-asymp-symbolic.svg
-rw-r--r-- root/root      1244 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-backepsilon-symbolic.svg
-rw-r--r-- root/root      1422 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-backsimeq-symbolic.svg
-rw-r--r-- root/root      1414 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-because-symbolic.svg
-rw-r--r-- root/root      1842 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-between-symbolic.svg
-rw-r--r-- root/root       912 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-blacktriangleleft-symbolic.svg
-rw-r--r-- root/root       924 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-blacktriangleright-symbolic.svg
-rw-r--r-- root/root      1660 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-bowtie-symbolic.svg
-rw-r--r-- root/root      1957 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-cong-symbolic.svg
-rw-r--r-- root/root      1754 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-curlyeqprec-symbolic.svg
-rw-r--r-- root/root      1734 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-curlyeqsucc-symbolic.svg
-rw-r--r-- root/root       956 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-dashv-symbolic.svg
-rw-r--r-- root/root      1422 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-eqslantgtr-symbolic.svg
-rw-r--r-- root/root      1399 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-eqslantless-symbolic.svg
-rw-r--r-- root/root      1031 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-equals-symbolic.svg
-rw-r--r-- root/root      1268 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-equiv-symbolic.svg
-rw-r--r-- root/root      1113 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-frown-symbolic.svg
-rw-r--r-- root/root      1286 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-geq-symbolic.svg
-rw-r--r-- root/root      1552 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-geqq-symbolic.svg
-rw-r--r-- root/root      1362 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-geqslant-symbolic.svg
-rw-r--r-- root/root      1448 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-gg-symbolic.svg
-rw-r--r-- root/root      2053 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-ggg-symbolic.svg
-rw-r--r-- root/root      3181 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-gnapprox-symbolic.svg
-rw-r--r-- root/root      1888 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-gneq-symbolic.svg
-rw-r--r-- root/root      2280 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-gneqq-symbolic.svg
-rw-r--r-- root/root      2184 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-gnsim-symbolic.svg
-rw-r--r-- root/root      1044 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-gt-symbolic.svg
-rw-r--r-- root/root      2261 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-gtrapprox-symbolic.svg
-rw-r--r-- root/root      1288 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-gtrdot-symbolic.svg
-rw-r--r-- root/root      1795 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-gtreqless-symbolic.svg
-rw-r--r-- root/root      2082 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-gtreqqless-symbolic.svg
-rw-r--r-- root/root      1714 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-gtrless-symbolic.svg
-rw-r--r-- root/root      1660 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-gtrsim-symbolic.svg
-rw-r--r-- root/root      1961 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-gvertneqq-symbolic.svg
-rw-r--r-- root/root      1289 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-leq-symbolic.svg
-rw-r--r-- root/root      1550 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-leqq-symbolic.svg
-rw-r--r-- root/root      1394 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-leqslant-symbolic.svg
-rw-r--r-- root/root      2237 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-lessapprox-symbolic.svg
-rw-r--r-- root/root      1290 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-lessdot-symbolic.svg
-rw-r--r-- root/root      1786 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-lesseqgtr-symbolic.svg
-rw-r--r-- root/root      2067 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-lesseqqgtr-symbolic.svg
-rw-r--r-- root/root      1701 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-lessgtr-symbolic.svg
-rw-r--r-- root/root      1654 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-lesssim-symbolic.svg
-rw-r--r-- root/root      1565 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-ll-symbolic.svg
-rw-r--r-- root/root      2061 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-lll-symbolic.svg
-rw-r--r-- root/root      3157 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-lnapprox-symbolic.svg
-rw-r--r-- root/root      1875 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-lneq-symbolic.svg
-rw-r--r-- root/root      2278 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-lneqq-symbolic.svg
-rw-r--r-- root/root      2178 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-lnsim-symbolic.svg
-rw-r--r-- root/root      1047 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-lt-symbolic.svg
-rw-r--r-- root/root      1959 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-lvertneqq-symbolic.svg
-rw-r--r-- root/root       791 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-mid-symbolic.svg
-rw-r--r-- root/root      1578 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-models-symbolic.svg
-rw-r--r-- root/root      1150 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-multimap-symbolic.svg
-rw-r--r-- root/root      2109 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-nVDash-symbolic.svg
-rw-r--r-- root/root      2359 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-ncong-symbolic.svg
-rw-r--r-- root/root      1664 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-neq-symbolic.svg
-rw-r--r-- root/root      1833 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-ngeq-symbolic.svg
-rw-r--r-- root/root      2171 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-ngeqq-symbolic.svg
-rw-r--r-- root/root      2007 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-ngeqslant-symbolic.svg
-rw-r--r-- root/root      1578 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-ngtr-symbolic.svg
-rw-r--r-- root/root      1835 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-nleq-symbolic.svg
-rw-r--r-- root/root      2252 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-nleqq-symbolic.svg
-rw-r--r-- root/root      2126 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-nleqslant-symbolic.svg
-rw-r--r-- root/root      1606 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-nless-symbolic.svg
-rw-r--r-- root/root      1214 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-nmid-symbolic.svg
-rw-r--r-- root/root      1545 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-nparallel-symbolic.svg
-rw-r--r-- root/root      1712 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-nprec-symbolic.svg
-rw-r--r-- root/root      2036 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-npreceq-symbolic.svg
-rw-r--r-- root/root      1364 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-nshortmid-symbolic.svg
-rw-r--r-- root/root      1635 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-nshortparallel-symbolic.svg
-rw-r--r-- root/root      1904 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-nsubseteq-symbolic.svg
-rw-r--r-- root/root      2350 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-nsubseteqq-symbolic.svg
-rw-r--r-- root/root      1732 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-nsucc-symbolic.svg
-rw-r--r-- root/root      2050 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-nsucceq-symbolic.svg
-rw-r--r-- root/root      1925 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-nsupseteq-symbolic.svg
-rw-r--r-- root/root      2273 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-nsupseteqq-symbolic.svg
-rw-r--r-- root/root      1532 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-ntriangleleft-symbolic.svg
-rw-r--r-- root/root      1813 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-ntrianglelefteq-symbolic.svg
-rw-r--r-- root/root      1579 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-ntriangleright-symbolic.svg
-rw-r--r-- root/root      1827 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-ntrianglerighteq-symbolic.svg
-rw-r--r-- root/root      1764 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-nvDash-symbolic.svg
-rw-r--r-- root/root      1554 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-nvdash-symbolic.svg
-rw-r--r-- root/root      1051 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-parallel-symbolic.svg
-rw-r--r-- root/root       946 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-perp-symbolic.svg
-rw-r--r-- root/root      1437 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-pitchfork-symbolic.svg
-rw-r--r-- root/root      1264 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-prec-symbolic.svg
-rw-r--r-- root/root      2502 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-precapprox-symbolic.svg
-rw-r--r-- root/root      1742 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-preccurlyeq-symbolic.svg
-rw-r--r-- root/root      1510 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-preceq-symbolic.svg
-rw-r--r-- root/root      3331 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-precnapprox-symbolic.svg
-rw-r--r-- root/root      2575 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-precnsim-symbolic.svg
-rw-r--r-- root/root      2053 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-precsim-symbolic.svg
-rw-r--r-- root/root      1677 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-propto-symbolic.svg
-rw-r--r-- root/root       788 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-shortmid-symbolic.svg
-rw-r--r-- root/root      1053 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-shortparallel-symbolic.svg
-rw-r--r-- root/root      1172 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-sim-symbolic.svg
-rw-r--r-- root/root      1430 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-simeq-symbolic.svg
-rw-r--r-- root/root      1010 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-smallfrown-symbolic.svg
-rw-r--r-- root/root       996 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-smallsmile-symbolic.svg
-rw-r--r-- root/root      1062 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-smile-symbolic.svg
-rw-r--r-- root/root       951 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-sqsubset-symbolic.svg
-rw-r--r-- root/root      1225 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-sqsubseteq-symbolic.svg
-rw-r--r-- root/root       926 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-sqsupset-symbolic.svg
-rw-r--r-- root/root      1176 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-sqsupseteq-symbolic.svg
-rw-r--r-- root/root      1018 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-subset-symbolic.svg
-rw-r--r-- root/root      1297 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-subseteq-symbolic.svg
-rw-r--r-- root/root      1527 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-subseteqq-symbolic.svg
-rw-r--r-- root/root      1903 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-subsetneq-symbolic.svg
-rw-r--r-- root/root      2243 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-subsetneqq-symbolic.svg
-rw-r--r-- root/root      1318 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-succ-symbolic.svg
-rw-r--r-- root/root      2559 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-succapprox-symbolic.svg
-rw-r--r-- root/root      1718 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-succcurlyeq-symbolic.svg
-rw-r--r-- root/root      1568 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-succeq-symbolic.svg
-rw-r--r-- root/root      3388 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-succnapprox-symbolic.svg
-rw-r--r-- root/root      2533 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-succnsim-symbolic.svg
-rw-r--r-- root/root      1954 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-succsim-symbolic.svg
-rw-r--r-- root/root      1030 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-supset-symbolic.svg
-rw-r--r-- root/root      1297 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-supseteq-symbolic.svg
-rw-r--r-- root/root      1529 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-supseteqq-symbolic.svg
-rw-r--r-- root/root      1946 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-supsetneq-symbolic.svg
-rw-r--r-- root/root      2242 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-supsetneqq-symbolic.svg
-rw-r--r-- root/root      1397 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-therefore-symbolic.svg
-rw-r--r-- root/root      1230 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-trianglelefteq-symbolic.svg
-rw-r--r-- root/root      1237 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-trianglerighteq-symbolic.svg
-rw-r--r-- root/root      1101 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-vDash-symbolic.svg
-rw-r--r-- root/root      1454 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-varpropto-symbolic.svg
-rw-r--r-- root/root      2052 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-varsubsetneq-symbolic.svg
-rw-r--r-- root/root      1959 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-varsupsetneq-symbolic.svg
-rw-r--r-- root/root       972 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-vartriangleleft-symbolic.svg
-rw-r--r-- root/root       977 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-vartriangleright-symbolic.svg
-rw-r--r-- root/root       961 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations/sidebar-vdash-symbolic.svg
-rw-r--r-- root/root     16125 2020-04-28 10:08 ./usr/share/Setzer/resources/symbols/relations.xml
drwxr-xr-x root/root         0 2020-05-01 14:28 ./usr/share/applications/
-rw-r--r-- root/root       151 2020-04-28 10:08 ./usr/share/applications/org.cvfosammmm.Setzer.desktop
drwxr-xr-x root/root         0 2020-05-01 14:28 ./usr/share/doc/
drwxr-xr-x root/root         0 2020-05-01 14:28 ./usr/share/doc/setzer/
-rw-r--r-- root/root       163 2020-05-01 14:28 ./usr/share/doc/setzer/changelog.Debian.gz
-rw-r--r-- root/root      1121 2020-05-01 14:28 ./usr/share/doc/setzer/copyright
drwxr-xr-x root/root         0 2020-05-01 14:28 ./usr/share/icons/
drwxr-xr-x root/root         0 2020-05-01 14:28 ./usr/share/icons/hicolor/
drwxr-xr-x root/root         0 2020-05-01 14:28 ./usr/share/icons/hicolor/scalable/
drwxr-xr-x root/root         0 2020-05-01 14:28 ./usr/share/icons/hicolor/scalable/apps/
-rw-r--r-- root/root     22062 2020-04-28 10:08 ./usr/share/icons/hicolor/scalable/apps/org.cvfosammmm.Setzer.svg
drwxr-xr-x root/root         0 2020-05-01 14:28 ./usr/share/man/
drwxr-xr-x root/root         0 2020-05-01 14:28 ./usr/share/man/man1/
-rw-r--r-- root/root       270 2020-05-01 14:28 ./usr/share/man/man1/setzer.1.gz
drwxr-xr-x root/root         0 2020-05-01 14:28 ./usr/share/metainfo/
-rw-r--r-- root/root      6658 2020-04-28 10:08 ./usr/share/metainfo/org.cvfosammmm.Setzer.appdata.xml

Timestamp: 07.05.2020 / 22:01:08 (UTC)