/usr/lib/petscdir/3.7.5/x86_64-linux-gnu-complex-debug/include/petsc/finclude/petsclogdef.h is in libpetsc-complex-3.7.5-dbg 3.7.5+dfsg1-4+b1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 | !
! No includes needed for logging
|