This file is indexed.

/usr/include/seqan/pipe/INFO is in seqan-dev 1.4.1+dfsg-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
Name: seqan-pipe
Author: David Weese <david.weese@fu-berlin.de>
Maintainer: David Weese <david.weese@fu-berlin.de>
License: BSD 3-clause
Copyright: 2006-2013, FU Berlin
Status: mature
Description: Pipelined I/O.
 This module contains the Pipe and Pool classes as well as various
 implementations.  The code is used for the external I/O functionality of SeqAn.
 Besides other things, this class contains the external sorting algorithm.