3.13.0-58.97
) is not available, but a newer one is (3.13.0-166.216
). We redirected you there.
/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