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>