This file is indexed.

/usr/share/doc/libgtkada-doc/README.Debian is in libgtkada-doc 17.0.2017-2.

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
libgtkada for Debian
---------------------

The libgtkada source package follows the convention for Ada library
packages in Debian documented in
http://people.debian.org/~lbrenta/debian-ada-policy.html.

Examples may be found in the libgtkada-doc package, and compiled with
# tar xf /usr/share/doc/libgtkada-doc/examples/testgtk.tgz
# cd testgtk
# gprbuild testgtk.gpr

A GTK equivalent of the dialog command-line utility is provided in
libgtkada-bin.

Because the Debian packaging compiles GtkAda with Debian GCC instead of
GNAT GPL Edition, I expect that they are *not* binary-compatible with
AdaCore's binaries.

 -- Nicolas Boulenguez <nicolas@debian.org>, Thu, 18 Aug 2016 22:47:05 +0200