The version you requested (3.13.0-58.97) is not available, but a newer one is (3.13.0-166.216). We redirected you there.
This file is indexed.

/usr/x86_64-w64-mingw32/include/txcoord.h is in mingw-w64-x86-64-dev 4.0.4-2.

This file is owned by root:root, with mode 0o777.

It is a symlink to /usr/x86_64-w64-mingw32/include/../../share/mingw-w64/include/txcoord.h