1 files changed, 641 insertions, 0 deletions

diff --git a/devel/gps/pkg-plist b/devel/gps/pkg-plist
new file mode 100644
index 000000000000..710e1ead27b5
--- /dev/null
+++ b/devel/gps/pkg-plist
@@ -0,0 +1,641 @@
+bin/gnatdoc
+bin/gnatspark
+bin/gps
+bin/gps_cli
+bin/gps_exe
+share/gps/about.txt
+share/gps/activity_log.tmplt
+share/gps/default.gpr
+share/gps/gnatdoc/html/compile.sh
+share/gps/gnatdoc/html/static/blank.html
+share/gps/gnatdoc/html/static/gnatdoc.css
+share/gps/gnatdoc/html/static/gnatdoc.js
+share/gps/gnatdoc/html/static/index.html
+share/gps/gnatdoc/html/static/inheritance_index.html
+share/gps/gnatdoc/html/templates/documentation.html.tmpl
+share/gps/gnatdoc/html/templates/documentation.js.tmpl
+share/gps/gnatdoc/html/templates/documentation_index.js.tmpl
+share/gps/gnatdoc/html/templates/entities_categories_index.js.tmpl
+share/gps/gnatdoc/html/templates/entities_category.html.tmpl
+share/gps/gnatdoc/html/templates/entities_category.js.tmpl
+share/gps/gnatdoc/html/templates/index.js.tmpl
+share/gps/gnatdoc/html/templates/inheritance_index.js.tmpl
+share/gps/gnatdoc/html/templates/source_file.html.tmpl
+share/gps/gnatdoc/html/templates/source_file.js.tmpl
+share/gps/gnatdoc/html/templates/source_file_index.js.tmpl
+share/gps/gnatdoc/simple/entities.tmpl
+share/gps/gnatdoc/simple/files_index.tmpl
+share/gps/gnatdoc/simple/index.tmpl
+share/gps/gnatdoc/simple/prj_index.tmpl
+share/gps/gnatdoc/simple/src.tmpl
+share/gps/gnatdoc/simple/support/Makefile
+share/gps/gnatdoc/simple/support/conf.py
+share/gps/gnatdoc/simple/support/make.bat
+share/gps/gps-Adwaita (Dark).css
+share/gps/gps-Adwaita.css
+share/gps/gps-gtk-win32-xp.css
+share/gps/gps-gtk-win32.css
+share/gps/gps-splash.png
+share/gps/gps.css
+share/gps/icons/dark/16px/box.png
+share/gps/icons/dark/16px/build_main_16.png
+share/gps/icons/dark/16px/cleanup_16.png
+share/gps/icons/dark/16px/clear_entry_16.png
+share/gps/icons/dark/16px/compile_16.png
+share/gps/icons/dark/16px/compute_xref_16.png
+share/gps/icons/dark/16px/custom_build_16.png
+share/gps/icons/dark/16px/debug_break.png
+share/gps/icons/dark/16px/debug_indicator.png
+share/gps/icons/dark/16px/entities/circle.png
+share/gps/icons/dark/16px/entities/circle_p.png
+share/gps/icons/dark/16px/entities/circle_ps.png
+share/gps/icons/dark/16px/entities/circle_s.png
+share/gps/icons/dark/16px/entities/circle_x.png
+share/gps/icons/dark/16px/entities/circle_xs.png
+share/gps/icons/dark/16px/entities/diamond.png
+share/gps/icons/dark/16px/entities/diamond_p.png
+share/gps/icons/dark/16px/entities/diamond_ps.png
+share/gps/icons/dark/16px/entities/diamond_s.png
+share/gps/icons/dark/16px/entities/diamond_x.png
+share/gps/icons/dark/16px/entities/diamond_x_blue.png
+share/gps/icons/dark/16px/entities/diamond_xs.png
+share/gps/icons/dark/16px/entities/dot.png
+share/gps/icons/dark/16px/entities/dot_p.png
+share/gps/icons/dark/16px/entities/dot_ps.png
+share/gps/icons/dark/16px/entities/dot_s.png
+share/gps/icons/dark/16px/entities/dot_x.png
+share/gps/icons/dark/16px/entities/dot_xs.png
+share/gps/icons/dark/16px/entities/square.png
+share/gps/icons/dark/16px/entities/square_p.png
+share/gps/icons/dark/16px/entities/square_ps.png
+share/gps/icons/dark/16px/entities/square_s.png
+share/gps/icons/dark/16px/entities/square_x.png
+share/gps/icons/dark/16px/entities/square_xs.png
+share/gps/icons/dark/16px/entities/triangle.png
+share/gps/icons/dark/16px/entities/triangle_p.png
+share/gps/icons/dark/16px/entities/triangle_ps.png
+share/gps/icons/dark/16px/entities/triangle_s.png
+share/gps/icons/dark/16px/entities/triangle_x.png
+share/gps/icons/dark/16px/entities/triangle_xs.png
+share/gps/icons/dark/16px/error.png
+share/gps/icons/dark/16px/file.png
+share/gps/icons/dark/16px/file_altered.png
+share/gps/icons/dark/16px/file_error.png
+share/gps/icons/dark/16px/file_pencil.png
+share/gps/icons/dark/16px/file_warning.png
+share/gps/icons/dark/16px/finish_16.png
+share/gps/icons/dark/16px/folder_closed.png
+share/gps/icons/dark/16px/folder_e_closed.png
+share/gps/icons/dark/16px/folder_e_open.png
+share/gps/icons/dark/16px/folder_o_closed.png
+share/gps/icons/dark/16px/folder_o_open.png
+share/gps/icons/dark/16px/folder_open.png
+share/gps/icons/dark/16px/gps_16.png
+share/gps/icons/dark/16px/negate.png
+share/gps/icons/dark/16px/newfile_16.png
+share/gps/icons/dark/16px/newfile_b_16.png
+share/gps/icons/dark/16px/next_16.png
+share/gps/icons/dark/16px/play_16.png
+share/gps/icons/dark/16px/project_box.png
+share/gps/icons/dark/16px/project_box_altered.png
+share/gps/icons/dark/16px/project_box_error.png
+share/gps/icons/dark/16px/project_box_open.png
+share/gps/icons/dark/16px/project_box_open_altered.png
+share/gps/icons/dark/16px/project_box_pencil.png
+share/gps/icons/dark/16px/project_box_warning.png
+share/gps/icons/dark/16px/project_root_box.png
+share/gps/icons/dark/16px/project_runtime.png
+share/gps/icons/dark/16px/regexp.png
+share/gps/icons/dark/16px/semantic_check_16.png
+share/gps/icons/dark/16px/stack_down_16.png
+share/gps/icons/dark/16px/stack_up_16.png
+share/gps/icons/dark/16px/step_16.png
+share/gps/icons/dark/16px/stop_16.png
+share/gps/icons/dark/16px/sync_to_local.png
+share/gps/icons/dark/16px/sync_to_remote.png
+share/gps/icons/dark/16px/syntax_check_16.png
+share/gps/icons/dark/16px/warning.png
+share/gps/icons/dark/18px/build_main_18.png
+share/gps/icons/dark/18px/cleanup_18.png
+share/gps/icons/dark/18px/compile_18.png
+share/gps/icons/dark/18px/compute_xref_18.png
+share/gps/icons/dark/18px/custom_build_18.png
+share/gps/icons/dark/18px/finish_18.png
+share/gps/icons/dark/18px/newfile_18.png
+share/gps/icons/dark/18px/next_18.png
+share/gps/icons/dark/18px/play_18.png
+share/gps/icons/dark/18px/semantic_check_18.png
+share/gps/icons/dark/18px/stack_down_18.png
+share/gps/icons/dark/18px/stack_up_18.png
+share/gps/icons/dark/18px/step_18.png
+share/gps/icons/dark/18px/stop_18.png
+share/gps/icons/dark/18px/syntax_check_18.png
+share/gps/icons/dark/20px/vcs-added.png
+share/gps/icons/dark/20px/vcs-has-conflicts.png
+share/gps/icons/dark/20px/vcs-modified.png
+share/gps/icons/dark/20px/vcs-needs-merge.png
+share/gps/icons/dark/20px/vcs-needs-update.png
+share/gps/icons/dark/20px/vcs-not-registered.png
+share/gps/icons/dark/20px/vcs-removed.png
+share/gps/icons/dark/20px/vcs-unknown.png
+share/gps/icons/dark/20px/vcs-up-to-date.png
+share/gps/icons/dark/24px/build_main_24.png
+share/gps/icons/dark/24px/cleanup_24.png
+share/gps/icons/dark/24px/compile_24.png
+share/gps/icons/dark/24px/compute_xref_24.png
+share/gps/icons/dark/24px/custom_build_24.png
+share/gps/icons/dark/24px/finish_24.png
+share/gps/icons/dark/24px/newfile_24.png
+share/gps/icons/dark/24px/next_24.png
+share/gps/icons/dark/24px/play_24.png
+share/gps/icons/dark/24px/semantic_check_24.png
+share/gps/icons/dark/24px/stack_down_24.png
+share/gps/icons/dark/24px/stack_up_24.png
+share/gps/icons/dark/24px/step_24.png
+share/gps/icons/dark/24px/stop_24.png
+share/gps/icons/dark/24px/syntax_check_24.png
+share/gps/icons/dark/32px/gps_32.png
+share/gps/icons/dark/48px/gps_48.png
+share/gps/icons/dark/9px/build_error.png
+share/gps/icons/dark/9px/build_error_fixable.png
+share/gps/icons/dark/9px/build_style.png
+share/gps/icons/dark/9px/build_style_fixable.png
+share/gps/icons/dark/9px/build_warning.png
+share/gps/icons/dark/9px/build_warning_fixable.png
+share/gps/icons/dark/9px/collapse_12.png
+share/gps/icons/dark/9px/executed_code.png
+share/gps/icons/dark/9px/expand_12.png
+share/gps/icons/dark/9px/line_has_code.png
+share/gps/icons/dark/9px/line_might_have_code.png
+share/gps/icons/dark/9px/non_executed_code.png
+share/gps/icons/dark/9px/partially_covered_code.png
+share/gps/icons/dark/9px/remove_unselected_12.png
+share/gps/icons/dark/9px/toggle_links_12.png
+share/gps/icons/dark/9px/wrench.png
+share/gps/icons/dark/9px/wrench_multi.png
+share/gps/icons/dark/other/adacore_logo.png
+share/gps/icons/dark/other/button_guide.png
+share/gps/icons/dark/other/button_guide_over.png
+share/gps/icons/dark/other/button_overview.png
+share/gps/icons/dark/other/button_overview_over.png
+share/gps/icons/dark/other/button_tutorial.png
+share/gps/icons/dark/other/button_tutorial_over.png
+share/gps/icons/dark/other/get_started.png
+share/gps/icons/dark/other/welcome_header.png
+share/gps/icons/dark/svg/build.svg
+share/gps/icons/dark/svg/buildall.svg
+share/gps/icons/dark/svg/buildcustom.svg
+share/gps/icons/dark/svg/buildmain.svg
+share/gps/icons/dark/svg/circle.svg
+share/gps/icons/dark/svg/circle_s.svg
+share/gps/icons/dark/svg/circle_x.svg
+share/gps/icons/dark/svg/circle_xs.svg
+share/gps/icons/dark/svg/clean-12.svg
+share/gps/icons/dark/svg/clean.svg
+share/gps/icons/dark/svg/clear_entry.svg
+share/gps/icons/dark/svg/close.svg
+share/gps/icons/dark/svg/compile.svg
+share/gps/icons/dark/svg/copy.svg
+share/gps/icons/dark/svg/cut.svg
+share/gps/icons/dark/svg/diamond.svg
+share/gps/icons/dark/svg/diamond_s.svg
+share/gps/icons/dark/svg/diamond_x.svg
+share/gps/icons/dark/svg/diamond_x_blue.svg
+share/gps/icons/dark/svg/diamond_xs.svg
+share/gps/icons/dark/svg/document.svg
+share/gps/icons/dark/svg/dot.svg
+share/gps/icons/dark/svg/dot_s.svg
+share/gps/icons/dark/svg/dot_x.svg
+share/gps/icons/dark/svg/dot_xs.svg
+share/gps/icons/dark/svg/double_arrow.svg
+share/gps/icons/dark/svg/edit.svg
+share/gps/icons/dark/svg/environment.svg
+share/gps/icons/dark/svg/error.svg
+share/gps/icons/dark/svg/folder-12.svg
+share/gps/icons/dark/svg/folder.svg
+share/gps/icons/dark/svg/gnatcheck.svg
+share/gps/icons/dark/svg/gnatmetric.svg
+share/gps/icons/dark/svg/gnatprove-path.svg
+share/gps/icons/dark/svg/gnattest.svg
+share/gps/icons/dark/svg/gps-fold-block.svg
+share/gps/icons/dark/svg/gps-unfold-block.svg
+share/gps/icons/dark/svg/info.svg
+share/gps/icons/dark/svg/left.svg
+share/gps/icons/dark/svg/lock-12.svg
+share/gps/icons/dark/svg/lock.svg
+share/gps/icons/dark/svg/menu-12.svg
+share/gps/icons/dark/svg/menu.svg
+share/gps/icons/dark/svg/messages.svg
+share/gps/icons/dark/svg/minus.svg
+share/gps/icons/dark/svg/newdocument.svg
+share/gps/icons/dark/svg/paste.svg
+share/gps/icons/dark/svg/plus.svg
+share/gps/icons/dark/svg/power.svg
+share/gps/icons/dark/svg/print.svg
+share/gps/icons/dark/svg/project.svg
+share/gps/icons/dark/svg/redo.svg
+share/gps/icons/dark/svg/refresh.svg
+share/gps/icons/dark/svg/right.svg
+share/gps/icons/dark/svg/run.svg
+share/gps/icons/dark/svg/run_blue.svg
+share/gps/icons/dark/svg/run_blue_d.svg
+share/gps/icons/dark/svg/run_green.svg
+share/gps/icons/dark/svg/run_green_d.svg
+share/gps/icons/dark/svg/save-12.svg
+share/gps/icons/dark/svg/save.svg
+share/gps/icons/dark/svg/search-and-menu.svg
+share/gps/icons/dark/svg/search.svg
+share/gps/icons/dark/svg/settings.svg
+share/gps/icons/dark/svg/square.svg
+share/gps/icons/dark/svg/square_s.svg
+share/gps/icons/dark/svg/square_x.svg
+share/gps/icons/dark/svg/square_xs.svg
+share/gps/icons/dark/svg/triangle.svg
+share/gps/icons/dark/svg/triangle_s.svg
+share/gps/icons/dark/svg/triangle_x.svg
+share/gps/icons/dark/svg/triangle_xs.svg
+share/gps/icons/dark/svg/undo.svg
+share/gps/icons/dark/svg/unlock-12.svg
+share/gps/icons/dark/svg/unlock.svg
+share/gps/icons/dark/svg/warning.svg
+share/gps/icons/dark/svg/zip.svg
+share/gps/icons/dark/svg/zoom.svg
+share/gps/icons/dark/svg/zoomout.svg
+share/gps/icons/light/svg/build.svg
+share/gps/icons/light/svg/buildall.svg
+share/gps/icons/light/svg/buildcustom.svg
+share/gps/icons/light/svg/buildmain.svg
+share/gps/icons/light/svg/circle.svg
+share/gps/icons/light/svg/circle_s.svg
+share/gps/icons/light/svg/circle_x.svg
+share/gps/icons/light/svg/circle_xs.svg
+share/gps/icons/light/svg/clean-12.svg
+share/gps/icons/light/svg/clean.svg
+share/gps/icons/light/svg/clear_entry.svg
+share/gps/icons/light/svg/close.svg
+share/gps/icons/light/svg/compile.svg
+share/gps/icons/light/svg/copy.svg
+share/gps/icons/light/svg/cut.svg
+share/gps/icons/light/svg/diamond.svg
+share/gps/icons/light/svg/diamond_s.svg
+share/gps/icons/light/svg/diamond_x.svg
+share/gps/icons/light/svg/diamond_x_blue.svg
+share/gps/icons/light/svg/diamond_xs.svg
+share/gps/icons/light/svg/document.svg
+share/gps/icons/light/svg/dot.svg
+share/gps/icons/light/svg/dot_s.svg
+share/gps/icons/light/svg/dot_x.svg
+share/gps/icons/light/svg/dot_xs.svg
+share/gps/icons/light/svg/double_arrow.svg
+share/gps/icons/light/svg/edit.svg
+share/gps/icons/light/svg/environment.svg
+share/gps/icons/light/svg/error.svg
+share/gps/icons/light/svg/folder-12.svg
+share/gps/icons/light/svg/folder.svg
+share/gps/icons/light/svg/gnatcheck.svg
+share/gps/icons/light/svg/gnatmetric.svg
+share/gps/icons/light/svg/gnatprove-path.svg
+share/gps/icons/light/svg/gnattest.svg
+share/gps/icons/light/svg/gps-fold-block.svg
+share/gps/icons/light/svg/gps-unfold-block.svg
+share/gps/icons/light/svg/info.svg
+share/gps/icons/light/svg/left.svg
+share/gps/icons/light/svg/lock-12.svg
+share/gps/icons/light/svg/lock.svg
+share/gps/icons/light/svg/menu-12.svg
+share/gps/icons/light/svg/menu.svg
+share/gps/icons/light/svg/messages.svg
+share/gps/icons/light/svg/minus.svg
+share/gps/icons/light/svg/newdocument.svg
+share/gps/icons/light/svg/paste.svg
+share/gps/icons/light/svg/plus.svg
+share/gps/icons/light/svg/power.svg
+share/gps/icons/light/svg/print.svg
+share/gps/icons/light/svg/project.svg
+share/gps/icons/light/svg/redo.svg
+share/gps/icons/light/svg/refresh.svg
+share/gps/icons/light/svg/right.svg
+share/gps/icons/light/svg/run.svg
+share/gps/icons/light/svg/run_blue.svg
+share/gps/icons/light/svg/run_blue_d.svg
+share/gps/icons/light/svg/run_green.svg
+share/gps/icons/light/svg/run_green_d.svg
+share/gps/icons/light/svg/save-12.svg
+share/gps/icons/light/svg/save.svg
+share/gps/icons/light/svg/search-and-menu.svg
+share/gps/icons/light/svg/search.svg
+share/gps/icons/light/svg/settings.svg
+share/gps/icons/light/svg/square.svg
+share/gps/icons/light/svg/square_s.svg
+share/gps/icons/light/svg/square_x.svg
+share/gps/icons/light/svg/square_xs.svg
+share/gps/icons/light/svg/triangle.svg
+share/gps/icons/light/svg/triangle_s.svg
+share/gps/icons/light/svg/triangle_x.svg
+share/gps/icons/light/svg/triangle_xs.svg
+share/gps/icons/light/svg/undo.svg
+share/gps/icons/light/svg/unlock-12.svg
+share/gps/icons/light/svg/unlock.svg
+share/gps/icons/light/svg/warning.svg
+share/gps/icons/light/svg/zip.svg
+share/gps/icons/light/svg/zoom.svg
+share/gps/icons/light/svg/zoomout.svg
+share/gps/key_themes/default.xml
+share/gps/key_themes/emacs.xml
+share/gps/key_themes/include/common.xml
+share/gps/library/addr2line.py
+share/gps/library/auto_changelog.py
+share/gps/library/autoformat.py
+share/gps/library/autognatpp.py
+share/gps/library/clang_support.py
+share/gps/library/copy_paste.py
+share/gps/library/copy_paste_toolbar.py
+share/gps/library/cov_export.py
+share/gps/library/create_missing_dirs.py
+share/gps/library/createfile.py
+share/gps/library/debugger.py
+share/gps/library/dependencies.py
+share/gps/library/eclipse.py
+share/gps/library/emacs.py
+share/gps/library/enter.py
+share/gps/library/filedeps.py
+share/gps/library/filepos.py
+share/gps/library/first_subtype.py
+share/gps/library/formatfile.py
+share/gps/library/gnatfind.py
+share/gps/library/gnatpp_switches.py
+share/gps/library/gnatr.py
+share/gps/library/ispell.py
+share/gps/library/local_history.py
+share/gps/library/occurrences.py
+share/gps/library/open_file.py
+share/gps/library/parasail.py
+share/gps/library/ppc.py
+share/gps/library/prevent_project_edition.py
+share/gps/library/remote_rsh.py
+share/gps/library/save_on_compile.py
+share/gps/library/separate.py
+share/gps/library/simple_project.py
+share/gps/library/skeleton.py
+share/gps/library/treemove.py
+share/gps/library/unicode.py
+share/gps/library/unused_entities.py
+share/gps/library/vi.py
+share/gps/library/vim.py
+share/gps/menus.xml
+share/gps/perspectives6.xml
+share/gps/plug-ins/ada_support.py
+share/gps/plug-ins/ada_support.pyc
+share/gps/plug-ins/align.py
+share/gps/plug-ins/align.pyc
+share/gps/plug-ins/auto_highlight_occurrences.py
+share/gps/plug-ins/auto_highlight_occurrences.pyc
+share/gps/plug-ins/block_completion.py
+share/gps/plug-ins/block_completion.pyc
+share/gps/plug-ins/board_support.py
+share/gps/plug-ins/board_support.pyc
+share/gps/plug-ins/c_support.py
+share/gps/plug-ins/c_support.pyc
+share/gps/plug-ins/changelog.py
+share/gps/plug-ins/changelog.pyc
+share/gps/plug-ins/clearcase.py
+share/gps/plug-ins/clearcase.pyc
+share/gps/plug-ins/codepeer.py
+share/gps/plug-ins/codepeer.pyc
+share/gps/plug-ins/csharp.py
+share/gps/plug-ins/csharp.pyc
+share/gps/plug-ins/cvs.py
+share/gps/plug-ins/cvs.pyc
+share/gps/plug-ins/dispatching.py
+share/gps/plug-ins/dispatching.pyc
+share/gps/plug-ins/editors.py
+share/gps/plug-ins/editors.pyc
+share/gps/plug-ins/expanded_code.py
+share/gps/plug-ins/expanded_code.pyc
+share/gps/plug-ins/gcov.py
+share/gps/plug-ins/gcov.pyc
+share/gps/plug-ins/git.py
+share/gps/plug-ins/git.pyc
+share/gps/plug-ins/gnatcheck.py
+share/gps/plug-ins/gnatcheck.pyc
+share/gps/plug-ins/gnatcov.py
+share/gps/plug-ins/gnatcov.pyc
+share/gps/plug-ins/gnatdist.py
+share/gps/plug-ins/gnatdist.pyc
+share/gps/plug-ins/gnatdoc.py
+share/gps/plug-ins/gnatdoc.pyc
+share/gps/plug-ins/gnatname.py
+share/gps/plug-ins/gnatname.pyc
+share/gps/plug-ins/gnatpp.py
+share/gps/plug-ins/gnatpp.pyc
+share/gps/plug-ins/gnatpsta.py
+share/gps/plug-ins/gnatpsta.pyc
+share/gps/plug-ins/gnatstack.py
+share/gps/plug-ins/gnatstack.pyc
+share/gps/plug-ins/gnatstub.py
+share/gps/plug-ins/gnatstub.pyc
+share/gps/plug-ins/gnattest.py
+share/gps/plug-ins/gnattest.pyc
+share/gps/plug-ins/gpr.py
+share/gps/plug-ins/gpr.pyc
+share/gps/plug-ins/images/tip_all_occurrences.png
+share/gps/plug-ins/images/tip_build_menu.png
+share/gps/plug-ins/images/tip_insert_spaces_with_tab.png
+share/gps/plug-ins/images/tip_jump_to_first_location.png
+share/gps/plug-ins/images/tip_keyboard_macro.png
+share/gps/plug-ins/images/tip_makefile_support.png
+share/gps/plug-ins/images/tip_multi_language_builder.png
+share/gps/plug-ins/images/tip_multiple_views.png
+share/gps/plug-ins/images/tip_notebook_tabs_position.png
+share/gps/plug-ins/images/tip_os_shell.png
+share/gps/plug-ins/images/tip_task_manager.png
+share/gps/plug-ins/isearch.py
+share/gps/plug-ins/isearch.pyc
+share/gps/plug-ins/jedi_support.py
+share/gps/plug-ins/jedi_support.pyc
+share/gps/plug-ins/listvars.py
+share/gps/plug-ins/listvars.pyc
+share/gps/plug-ins/makefile.py
+share/gps/plug-ins/makefile.pyc
+share/gps/plug-ins/matlab_support.py
+share/gps/plug-ins/matlab_support.pyc
+share/gps/plug-ins/mercurial.py
+share/gps/plug-ins/mercurial.pyc
+share/gps/plug-ins/methods.py
+share/gps/plug-ins/methods.pyc
+share/gps/plug-ins/modeling.py
+share/gps/plug-ins/modeling.pyc
+share/gps/plug-ins/pep8_integration.py
+share/gps/plug-ins/pep8_integration.pyc
+share/gps/plug-ins/pipe.py
+share/gps/plug-ins/pipe.pyc
+share/gps/plug-ins/python_support.py
+share/gps/plug-ins/python_support.pyc
+share/gps/plug-ins/rectangles.py
+share/gps/plug-ins/rectangles.pyc
+share/gps/plug-ins/shell.py
+share/gps/plug-ins/shell.pyc
+share/gps/plug-ins/sort_selection.py
+share/gps/plug-ins/sort_selection.pyc
+share/gps/plug-ins/spark.py
+share/gps/plug-ins/spark.pyc
+share/gps/plug-ins/spark2014.py
+share/gps/plug-ins/spark2014.pyc
+share/gps/plug-ins/subversion.py
+share/gps/plug-ins/subversion.pyc
+share/gps/plug-ins/tab.py
+share/gps/plug-ins/tab.pyc
+share/gps/plug-ins/tip_of_the_day.py
+share/gps/plug-ins/tip_of_the_day.pyc
+share/gps/plug-ins/url.py
+share/gps/plug-ins/url.pyc
+share/gps/plug-ins/xml_support.py
+share/gps/plug-ins/xml_support.pyc
+share/gps/plug-ins/zoom.py
+share/gps/plug-ins/zoom.pyc
+share/gps/predefined_ada.xml
+share/gps/readonly.gpr
+share/gps/show_coverage.xsl
+share/gps/support/core/GPS_help.py
+share/gps/support/core/GPS_old/__init__.py
+share/gps/support/core/__init__.py
+share/gps/support/core/aliases.py
+share/gps/support/core/auto_load.py
+share/gps/support/core/build.py
+share/gps/support/core/color_utils.py
+share/gps/support/core/completion.py
+share/gps/support/core/console_utils.py
+share/gps/support/core/constructs.py
+share/gps/support/core/constructs.pyc
+share/gps/support/core/cross_references.py
+share/gps/support/core/customFiles.xsd
+share/gps/support/core/extensions/__init__.py
+share/gps/support/core/extensions/__init__.pyc
+share/gps/support/core/extensions/private/__init__.py
+share/gps/support/core/extensions/private/__init__.pyc
+share/gps/support/core/extensions/private/xml.py
+share/gps/support/core/extensions/private/xml.pyc
+share/gps/support/core/gnat_switches.py
+share/gps/support/core/gps_utils/__init__.py
+share/gps/support/core/gps_utils/__init__.pyc
+share/gps/support/core/gps_utils/console_process.py
+share/gps/support/core/gps_utils/console_process.pyc
+share/gps/support/core/gps_utils/gnat_rules.py
+share/gps/support/core/gps_utils/gnatcheck_default.py
+share/gps/support/core/gps_utils/gnatcheck_rules_editor.py
+share/gps/support/core/gps_utils/highlighter.py
+share/gps/support/core/gps_utils/highlighter.pyc
+share/gps/support/core/gps_utils/promises.py
+share/gps/support/core/gps_utils/switches.py
+share/gps/support/core/gps_utils/workflow.py
+share/gps/support/core/languages.py
+share/gps/support/core/modules.py
+share/gps/support/core/modules.pyc
+share/gps/support/core/navigation_utils.py
+share/gps/support/core/os_utils.py
+share/gps/support/core/projects.py
+share/gps/support/core/protocols.py
+share/gps/support/core/protocols.py.in
+share/gps/support/core/runtime.py
+share/gps/support/core/search.py
+share/gps/support/core/text_utils.py
+share/gps/support/core/tool_output.py
+share/gps/support/core/toolchains.py
+share/gps/support/core/vcs.py
+share/gps/support/ui/GPS_doc/Browsers.py
+share/gps/support/ui/GPS_doc/Browsers.pyc
+share/gps/support/ui/GPS_doc/__init__.py
+share/gps/support/ui/GPS_doc/__init__.pyc
+share/gps/support/ui/c_highlighter.py
+share/gps/support/ui/colorschemes.py
+share/gps/support/ui/colorschemes.pyc
+share/gps/support/ui/console.py
+share/gps/support/ui/gnatmetric.py
+share/gps/support/ui/gpsbrowsers.py
+share/gps/support/ui/highlighter/__init__.py
+share/gps/support/ui/highlighter/__init__.pyc
+share/gps/support/ui/highlighter/common.py
+share/gps/support/ui/highlighter/common.pyc
+share/gps/support/ui/highlighter/engine.py
+share/gps/support/ui/highlighter/engine.pyc
+share/gps/support/ui/highlighter/interface.py
+share/gps/support/ui/highlighter/interface.pyc
+share/gps/support/ui/icons.py
+share/gps/support/ui/locations_view_utils.py
+share/gps/support/ui/multi_cursors.py
+share/gps/support/ui/pygps/__init__.py
+share/gps/support/ui/pygps/__init__.pyc
+share/gps/support/ui/pygps/notebook.py
+share/gps/support/ui/pygps/project.py
+share/gps/support/ui/pygps/tree.py
+share/gps/support/ui/python_highlighter.py
+share/gps/support/ui/reloadcss.py
+share/gps/support/ui/task_manager.py
+share/gps/templates/ajis_hello/@_project_name_@.gpr
+share/gps/templates/ajis_hello/Makefile
+share/gps/templates/ajis_hello/ajis_hello.gpt
+share/gps/templates/ajis_hello/src_ada/hello.adb
+share/gps/templates/ajis_hello/src_ada/hello.ads
+share/gps/templates/ajis_hello/src_java/com/adacore/example/@_Main_Name_@.java
+share/gps/templates/aws_simple_web_server/@_project_name_@.gpr
+share/gps/templates/aws_simple_web_server/simple_web_server.gpt
+share/gps/templates/aws_simple_web_server/src/@_project_name_@-callbacks.adb
+share/gps/templates/aws_simple_web_server/src/@_project_name_@-callbacks.ads
+share/gps/templates/aws_simple_web_server/src/@_project_name_@-main.adb
+share/gps/templates/aws_simple_web_server/src/@_project_name_@.ads
+share/gps/templates/aws_web_server/@_project_name_@.gpr
+share/gps/templates/aws_web_server/css/style.css
+share/gps/templates/aws_web_server/img/gps_logo.png
+share/gps/templates/aws_web_server/src/@_project_name_@-dispatchers.adb
+share/gps/templates/aws_web_server/src/@_project_name_@-dispatchers.ads
+share/gps/templates/aws_web_server/src/@_project_name_@-main.adb
+share/gps/templates/aws_web_server/src/@_project_name_@.ads
+share/gps/templates/aws_web_server/tmplt/main.thtml
+share/gps/templates/aws_web_server/web_server.gpt
+share/gps/templates/aws_web_server_blocks/@_project_name_@.gpr
+share/gps/templates/aws_web_server_blocks/README
+share/gps/templates/aws_web_server_blocks/css/style.css
+share/gps/templates/aws_web_server_blocks/gen/templates.tada
+share/gps/templates/aws_web_server_blocks/img/gps_logo.png
+share/gps/templates/aws_web_server_blocks/js/ajax_api.tjs
+share/gps/templates/aws_web_server_blocks/js/aws.tjs
+share/gps/templates/aws_web_server_blocks/js/aws_kernel.tjs
+share/gps/templates/aws_web_server_blocks/js/behaviour.js
+share/gps/templates/aws_web_server_blocks/js/prototype.js
+share/gps/templates/aws_web_server_blocks/js/scriptaculous.js
+share/gps/templates/aws_web_server_blocks/makefile
+share/gps/templates/aws_web_server_blocks/open_readme.py
+share/gps/templates/aws_web_server_blocks/src/@_project_name_@-ajax.adb
+share/gps/templates/aws_web_server_blocks/src/@_project_name_@-ajax.ads
+share/gps/templates/aws_web_server_blocks/src/@_project_name_@-dispatchers.adb
+share/gps/templates/aws_web_server_blocks/src/@_project_name_@-dispatchers.ads
+share/gps/templates/aws_web_server_blocks/src/@_project_name_@-main.adb
+share/gps/templates/aws_web_server_blocks/src/@_project_name_@-web_blocks.adb
+share/gps/templates/aws_web_server_blocks/src/@_project_name_@-web_blocks.ads
+share/gps/templates/aws_web_server_blocks/src/@_project_name_@.ads
+share/gps/templates/aws_web_server_blocks/tmplt/main.thtml
+share/gps/templates/aws_web_server_blocks/tmplt/r_widget_counter.txml
+share/gps/templates/aws_web_server_blocks/tmplt/widget_counter.thtml
+share/gps/templates/aws_web_server_blocks/web_server_blocks.gpt
+share/gps/templates/gtkada_minimal/@_project_name_@.gpr
+share/gps/templates/gtkada_minimal/gtkada_minimal.gpt
+share/gps/templates/gtkada_minimal/src/@_main_name_@.adb
+share/gps/templates/simple_project/@_project_name_@.gpr
+share/gps/templates/simple_project/simple_project.gpt
+share/gps/templates/simple_project/src/@_main_name_@.adb
+share/gps/templates/stm32f_leds/@_project_name_@.gpr
+share/gps/templates/stm32f_leds/src/@_main_name_@.adb
+share/gps/templates/stm32f_leds/src/button.adb
+share/gps/templates/stm32f_leds/src/button.ads
+share/gps/templates/stm32f_leds/src/driver.adb
+share/gps/templates/stm32f_leds/src/driver.ads
+share/gps/templates/stm32f_leds/src/last_chance_handler.adb
+share/gps/templates/stm32f_leds/src/last_chance_handler.ads
+share/gps/templates/stm32f_leds/src/leds.adb
+share/gps/templates/stm32f_leds/src/leds.ads
+share/gps/templates/stm32f_leds/src/registers.ads
+share/gps/templates/stm32f_leds/src/stm32f4-gpio.ads
+share/gps/templates/stm32f_leds/src/stm32f4-reset_clock_control.ads
+share/gps/templates/stm32f_leds/src/stm32f4-sysconfig_control.ads
+share/gps/templates/stm32f_leds/src/stm32f4.ads
+share/gps/templates/stm32f_leds/stm32f_leds.gpt