This file is indexed.

/usr/share/doc/libgtkada-doc/README.Debian is in libgtkada-doc 3.8.3-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
23
24
25
26
27
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

Command-line settings to compile and link programs against gtkada
without GNAT projects are provided by the gtkada-config tool.
# gnatmake your_main_program.adb $(gtkada-config)

You may also use the pkg-config tool,
# gnatmake your_main_program.adb `pkg-config --cflags gtkada` -largs `pkg-config --libs gtkada`

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>, Fri, 12 Feb 2016 15:40:49 +0100