This file is indexed.

/usr/share/gap/lib/read4.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
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
#############################################################################
##
#X  now read profiling functions, help system
##
ReadLib( "profile.g"   );
ReadLib( "methwhy.g"   );

##  the help system
ReadLib( "pager.gi"    );
ReadLib( "helpbase.gi"  );
#  moved to init.g, because completion doesn't work with if-statements
#  around function definitions!
#ReadLib( "helpview.gi"  );
ReadLib( "helpt2t.gi"   );
ReadLib( "helpdef.gi"   );

ReadLib( "reread.g"    );
ReadLib( "package.gi"   );

ReadLib( "string.gi"   ); # since StringFile is needed early

# for dealing with test files and manual examples
ReadLib("test.gd");
ReadLib("test.gi");