This file is indexed.

/usr/share/doc/libxenomai-dev/copyright is in libxenomai-dev 2.6.2.1-2ubuntu2.

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
28
29
30
31
32
33
This package was debianized by Paul Corner <paul_c@gna.org>
On: Sat Mar 3 12:00 GMT 2007

The primary author of the upstream package is Philippe Gerum.

It was downloaded from http://www.xenomai.org/

Copyright (C) 2001,2002,2003,2004,2005,2006,2007,2008 Philippe Gerum <rpm@xenomai.org>.
Copyright (C) 2005 Dmitry Adamushko <dmitry.adamushko@gmail.com>
Copyright (C) 2001,2003,2004,2005,2006,2008 Gilles Chanteperdrix <gilles.chanteperdrix@xenomai.org>
Copyright (C) 2005,2006,2007 Jan Kiszka <jan.kiszka@web.de>
Copyright (C) 2006 Wolfgang Grandegger <wg@grandegger.com>

License:

Xenomai is licensed under GPL version 2, the user space libraries are LGPL
version 2.1.
On Debian systems, the complete texts of the GNU General Public License v2
and the GNU Lesser General Public License v2 can be found in the file
`/usr/share/common-licenses/GPL-2' and `/usr/share/common-licenses/LGPL-2.1'
respectively.


The documentation under doc/docbook/xenomai/ is licensed as:

Permission is granted to copy, distribute and/or modify this
document under the terms of the GNU Free Documentation
License, Version 1.2 or any later version published by the
Free Software Foundation; with no Invariant Sections, no
Front-Cover Texts, and no Back-Cover Texts.

On Debian systems, the complete texts of the GNU Free Documentation License
version 1.2 can be found in the file /usr/share/common-licenses/GFDL-1.2.