plasma-kdevelop - 4:5.3.1-3 main

KDevelop is a Free and Open Source integrated development
environment (IDE). It provides editing, navigation and debugging features for
several programming languages, as well as integration with multiple build
systems and version-control systems, using a plugin-based architecture.
.
This package contains the KDevelop plugins for integrating in the Plasma
desktop environment:
* sessions data engine
* sessions widget
* sessions KRunner module