This file is indexed.

/usr/share/ada/adainclude/gmpada.gpr is in libgmpada4-dev 0.0.20131223-1.

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
--  (generated by dh_ada_library during package build)
--  This project file is designed to help build applications that use gmpada.
--  Here is an example of how to use this project file:
--
--  with "gmpada";
--  project Example is
--     for Object_Dir use "obj";
--     for Exec_Dir use ".";
--     for Main use ("example");
--  end Example;

library project gmpada is
   for Library_Name use "gmpada";
   for Library_Kind use "dynamic";
   for Library_Dir use "/usr/lib/x86_64-linux-gnu/";
   for Source_Dirs use ("/usr/share/ada/adainclude/gmpada");
   for Library_ALI_Dir use "/usr/lib/x86_64-linux-gnu/ada/adalib/gmpada";
   for Externally_Built use "True";
   package Linker is
      for Linker_Options use ("-lgmp", "-lmpfr");
   end Linker;
end gmpada;