This file is indexed.

/usr/share/mime/packages/ser-player.xml is in ser-player 1.7.2-3.

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

The actual contents of the file can be viewed below.

1
2
3
4
5
6
<?xml version="1.0" encoding="utf-8"?>
<mime-info xmlns="http://www.freedesktop.org/standards/shared-mime-info">
  <mime-type type="video/ser">
     <glob pattern="*.ser"/>
  </mime-type>
</mime-info>