This file is indexed.

/usr/share/ada/adainclude/opentoken.gpr is in libopentoken3-dev 4.0b-3.

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
30
31
32
--  OpenToken project file for use with GCC 4.3
--  Copyright (c) 2004, 2009 Ludovic Brenta <ludovic.brenta@insalien.org>
--  Copyright (c) 2009 Reto Buerki <reet@codelabs.ch>
--
--  This program is free software; you can redistribute it and/or modify
--  it under the terms of the GNU General Public License as published by
--  the Free Software Foundation; either version 2 of the License, or
--  (at your option) any later version.
--
--  This program is distributed in the hope that it will be useful,
--  but WITHOUT ANY WARRANTY; without even the implied warranty of
--  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
--  GNU General Public License for more details.
--
--  This project file is designed to help build applications that use
--  OpenToken.  Here is an example of how to use this project file:
--
--  with "opentoken";
--  project Example is
--     for Object_Dir use "obj";
--     for Exec_Dir use ".";
--     for Main use ("example");
--  end Example;

project OpenToken is
   for Library_Name use "opentoken";
   for Library_Dir use "/usr/lib";
   for Library_Kind use "dynamic";
   for Source_Dirs use ("/usr/share/ada/adainclude/opentoken");
   for Library_ALI_Dir use "/usr/lib/ada/adalib/opentoken";
   for Externally_Built use "true";
end OpenToken;