This file is indexed.

/usr/share/gps/plug-ins/gpr.xml is in gnat-gps-common 5.3dfsg-1ubuntu1.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below.

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
<?xml version="1.0"?>
<!--  Adds support for editing .gpr files (GPS project files)

      This file provides syntax highlighting when editing .gpr files.
      Generally, such files are best edited through the menu
        /Project/Edit Project Properties
      but it is sometimes more convenient to edit them by hand.

      You need to reload your project file (/Project/Reload Project) to
      force GPS to take into account your changes.
-->

<GPS>
  <Language>
    <Name>Project File</Name>
    <Parent>Ada</Parent>
    <Body_Suffix>.gpr</Body_Suffix>
    <Keywords>(a(bstract|t|ll)|case|e(nd|xte(nds|rnal))|for|is|li(brary|mited)|null|</Keywords>
    <Keywords>others|p(ackage|roject)|renames|type|use|w(hen|ith))\b</Keywords>
    <Context>
      <New_Line_Comment_Start>--</New_Line_Comment_Start>
      <String_Delimiter>&quot;</String_Delimiter>
      <Constant_Character>&apos;</Constant_Character>
      <Can_Indent>True</Can_Indent>
      <Syntax_Highlighting>True</Syntax_Highlighting>
      <Case_Sensitive>False</Case_Sensitive>
    </Context>
  </Language>
</GPS>