Sign Up
Log In
Log In
or
Sign Up
Places
All Projects
Status Monitor
Collapse sidebar
science
coq
coq-rpmlintrc
Overview
Repositories
Revisions
Requests
Users
Attributes
Meta
File coq-rpmlintrc of Package coq
# This line is mandatory to access the configuration functions from Config import * # Unfortunate choice, but we can't easily change that. addFilter("hidden-file-or-dir .*/.coq-native") # These are loaded manually by the OCaml runtime and need no dependency information. addFilter("shared-library-without-dependency-information .*\.cmxs")
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
