This file is indexed.

/usr/share/lhs2tex-1.15/jfpcompat.fmt is in lhs2tex 1.15-4.

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
34
35
%if False
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% jfpcompat.fmt
%
% jfp.cls is incompatible with array.sty! This is a fix.
% This is included in the lhs2TeX distribution because
% lhs2TeX depends on array.sty, and many lhs2TeX users are
% JFP authors.
%
% Permission is granted to include this file (or parts of this file) 
% literally into other documents, regardless of the conditions or 
% license applying to these documents.
%
% Andres Loeh, November 2005, ver 1.1
%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%endif
%if not lhs2tex_jfpcompat_fmt_read
%let lhs2tex_jfpcompat_fmt_read = True
%include lhs2TeX.fmt
% 
\ReadOnlyOnce{jfpcompat.fmt}%
\makeatletter
\def\@@authortable{%
  \leavevmode \hbox \bgroup $\col@@sep\tabcolsep
  \let\d@@llarbegin\begingroup
  \let\d@@llarend\endgroup
  \let\\\author@@tabcrone
  \ignorespaces
  \@@tabarray}

\makeatother
\EndFmtInput
%
%endif