This file is indexed.

/usr/share/gap/lib/other.gd is in gap-libs 4r7p9-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
#############################################################################
##
#W  other.gd                    GAP library                  Alexander Hulpke
##
##                                                     
#Y  (C) 2000 School Mathematical Sciences, University of St Andrews, Scotland
##
##  This file contains declarations for interface functions to other
##  systems.


DeclareOperation("MagmaInputString",[IsObject,IsString]);