From: Some One <nobody@opensuse.org>
Date: Thu, 9 Apr 2015 14:55:39 +0200
Subject: [PATCH] devel-provide-is-devel-package.diff

===================================================================
---
 FilesCheck.py | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/FilesCheck.py b/FilesCheck.py
index ad77589..cdffaea 100644
--- a/FilesCheck.py
+++ b/FilesCheck.py
@@ -830,6 +830,10 @@ class FilesCheck(AbstractCheck.AbstractCheck):
         # 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()