File coq.xml of Package coq

<?xml version="1.0" encoding="UTF-8"?>
<mime-info xmlns="http://www.freedesktop.org/standards/shared-mime-info">
  <mime-type type="text/x-coqsrc">
    <comment xml:lang="en">Coq source file</comment>
    <glob pattern="*.v"/>
    <icon name="coq"/>
  </mime-type>
  <mime-type type="application/x-coq-object">
    <comment xml:lang="en">Coq object file</comment>
    <glob pattern="*.vo"/>
  </mime-type>
</mime-info>