This file is indexed.

/usr/share/gap/lib/read2.g is in gap-libs 4r6p5-3.

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
#############################################################################
##
#X  now read the basic methods
##
ReadLib( "process.gd"  );

ReadLib( "files.gi"    );
ReadLib( "streams.gi"  );
ReadLib( "process.gi"  );