PHP registry files contain a timestamp in the _lastmodified field.

This prevents build to be reproducible and capture an uninteresting details.

Known affected packages

Detection

PHP registry files are located in /usr/share/php/.registry.

Example debbindiff output

Work-around

Patch submitted to strip-nondeterminism in 776138.

Solution

None yet.

Tracked as 750697