This file is indexed.

/usr/share/doc/dis51/copyright is in dis51 0.5-1.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
This package was debianized by Uwe Hermann <uwe@debian.org> on
Sat, 16 Feb 2008 15:01:54 +0100.

It was downloaded from: 

    http://members.naspa.net/djs/software/dis51.html

Upstream Author:

    David Sullins <davesullins@earthlink.net>

-------------------------------------------------------------------------------

Files: *
Copyright: © 2001-2003 David Sullins <davesullins@earthlink.net>
License: GPL-2

On Debian systems, the complete text of the GNU General
Public License can be found in `/usr/share/common-licenses/GPL-2'.

-------------------------------------------------------------------------------

Files: debian/*
Copyright: © 2008 Uwe Hermann <uwe@debian.org>
License: GPL-2+
    The Debian packaging is (C) 2008, Uwe Hermann <uwe@debian.org> and
    is licensed under the GPL (version 2 or later), see above.