This file is indexed.

/usr/include/pike7.8/pike/version.h is in pike7.8-dev 7.8.700-7.

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
/*
|| This file is part of Pike. For copyright information see COPYRIGHT.
|| Pike is distributed under GPL, LGPL and MPL. See the file COPYING
|| for more information.
|| $Id: e16923cb06ac4f414d31f8e75a45fe2d92b7a086 $
*/

#define PIKE_MAJOR_VERSION 7
#define PIKE_MINOR_VERSION 8
#define PIKE_BUILD_VERSION 700

/* Prototypes begin here */
void f_version(INT32 args);
void push_compact_version();
/* Prototypes end here */