We have some news to share for the request index beta feature. We’ve added more options to sort your requests, counters to the individual filters and documentation for the search functionality. Checkout the blog post for more details.

Overview

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")
openSUSE Build Service is sponsored by
Places