File devel-provide-is-devel-package.diff of Package rpmlint

--- FilesCheck.py
+++ FilesCheck.py
@@ -282,6 +282,10 @@
         # Check if the package is a development package
         devel_pkg=devel_regex.search(pkg.name)
 
+        for p in pkg.provides():
+            if not devel_pkg and devel_regex.search(p[0]):
+                devel_pkg = True
+
         config_files=pkg.configFiles()
         ghost_files=pkg.ghostFiles()
         doc_files=pkg.docFiles()