Sign Up
Log In
Log In
or
Sign Up
Places
All Projects
Status Monitor
Collapse sidebar
home:radomir_cernoch:coq
Meta
Overview
Repositories
Monitor
Requests
Users
Subprojects
Project Config
Attributes
Signing Keys
Meta
Status
Pulse
Meta Configuration of home:radomir_cernoch:coq
<project name="home:radomir_cernoch:coq"> <title>Coq proof assistant</title> <description>This project aims at building the Coq proof assistant together with all its libraries.</description> <person userid="radomir_cernoch" role="bugowner"/> <person userid="radomir_cernoch" role="maintainer"/> <debuginfo> <enable/> </debuginfo> </project>
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
