<?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"/> </mime-type> </mime-info>