Sign Up
Log In
Log In
or
Sign Up
Places
All Projects
Status Monitor
Collapse sidebar
science
coq
_constraints
Overview
Repositories
Revisions
Requests
Users
Attributes
Meta
File _constraints of Package coq
<?xml version="1.0" encoding="UTF-8"?> <constraints> <hardware> <memoryperjob> <size unit="M">900</size> </memoryperjob> <disk> <size unit="G">4</size> </disk> </hardware> </constraints>
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