The version you requested (5.6.30+dfsg-0+deb8u1) is not available, but a newer one is (5.6.33+dfsg-0+deb8u1). We redirected you there.
This file is indexed.

/usr/include/php5/main/php_version.h is in php5-dev 5.6.33+dfsg-0+deb8u1.

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
/* automatically generated by configure */
/* edit configure.in to change version number */
#define PHP_MAJOR_VERSION 5
#define PHP_MINOR_VERSION 6
#define PHP_RELEASE_VERSION 33
#define PHP_EXTRA_VERSION "-0+deb8u1"
#define PHP_VERSION "5.6.33-0+deb8u1"
#define PHP_VERSION_ID 50633