[Bug 530254] New: Package mime-type information for Coq files

[bugzilla at redhat.com]

Please do not reply directly to this email. All additional
comments should be made in the comments box of this bug.

Summary: Package mime-type information for Coq files

https://bugzilla.redhat.com/show_bug.cgi?id=530254

           Summary: Package mime-type information for Coq files
           Product: Fedora
           Version: 11
          Platform: All
        OS/Version: Linux
            Status: NEW
          Severity: low
          Priority: low
         Component: coq
        AssignedTo: amdunn at gmail.com
        ReportedBy: matt at mattmccutchen.net
         QAContact: extras-qa at fedoraproject.org
                CC: amdunn at gmail.com, fedora-ocaml-list at redhat.com
    Classification: Fedora


Created an attachment (id=365637)
 --> (https://bugzilla.redhat.com/attachment.cgi?id=365637)
Draft mime-type information

Description of problem:
It might be nice to package some mime-type information for Coq files as a step
toward making them xdg-openable in coqide or Proof General.

Version-Release number of selected component (if applicable):
coq-8.2-1.fc11.x86_64

-- 
Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.