Sign Up
Log In
Log In
or
Sign Up
Places
All Projects
Status Monitor
Collapse sidebar
openSUSE:Factory:PowerPC
coq
coq.xml
Overview
Repositories
Revisions
Requests
Users
Attributes
Meta
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>
Locations
Projects
Search
Status Monitor
Help
OpenBuildService.org
Documentation
API Documentation
Code of Conduct
Contact
Support
@OBShq
Terms
openSUSE Build Service is sponsored by
The Open Build Service is an
openSUSE project
.
Sign Up
Log In
Places
Places
All Projects
Status Monitor
