diff -r 46fc897c5ac0 -r 5b772524f302 PluginManager/PluginRepositoryDialog.py
--- a/PluginManager/PluginRepositoryDialog.py Sun Dec 18 12:58:22 2016 +0100
+++ b/PluginManager/PluginRepositoryDialog.py Sun Dec 18 13:42:41 2016 +0100
@@ -643,7 +643,13 @@
pluginManager = e5App().getObject("PluginManager")
pluginName = filename.rsplit('-', 1)[0]
pluginDetails = pluginManager.getPluginDetails(pluginName)
- if pluginDetails is None or pluginDetails["version"] < version:
+ if pluginDetails is None:
+ return PluginRepositoryWidget.PluginStatusLocalUpdate
+ if version.count(".") >= 3:
+ # cope for extended version numbers by ignoring
+ # the extension
+ version = ".".join(version.split(".",3)[:3])
+ if pluginDetails["version"] < version:
return PluginRepositoryWidget.PluginStatusLocalUpdate
return PluginRepositoryWidget.PluginStatusUpToDate
