This file is indexed.

/usr/share/doc/libgmpada7-dev/copyright is in libgmpada7-dev 1.1-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
Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
Upstream-Name: libgmpada
Upstream-Contact: http://nicolas.boulenguez.free.fr

Files: *
Copyright: Copyright (C) 2007-2017 Nicolas Boulenguez <nicolas@debian.org>
License: GPL-3+
 GNU GPL v3 or later; see /usr/share/common-licenses/GPL-3.