<?xml version="1.0" encoding="UTF-8"?>
<mime-info xmlns="http://www.freedesktop.org/standards/shared-mime-info">
<mime-type type="application/x-coq">
<sub-class-of type="text/plain"/>
<comment>Coq theory files</comment>
<glob pattern="*.v"/>
<icon name="coqfile"/>
</mime-type>
</mime-info>