This file is indexed.

/usr/lib/cli/OpenTK.GLControl-1.1/OpenTK.GLControl.dll.config is in libopentk1.1-cil 1.1.4c+dfsg-2ubuntu2.

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

The actual contents of the file can be viewed below.

1
2
3
<configuration>
  <dllmap os="linux" dll="SDL2.dll" target="libSDL2-2.0.so.0"/>
</configuration>