plasma-framework-dbg

Plasma Runtime components - debug symbols

php-sql-formatter

a PHP SQL highlighting library

SqlFormatter is a lightweight PHP class to format SQL statements. It can automatically indent and add line breaks in addition to syntax highlighting.

libdevel-overloadinfo-perl

module to introspect overloaded operators

Devel::OverloadInfo returns information about overloaded operators for a given class (or object), including where in the inheritance hierarchy the overloads are declared and where the code implementing it is.

python-simpy3

python-based simulation package

SimPy is a process-based discrete-event simulation language based on standard Python.

libkf5bookmarks5-dbg

Qt library with support for bookmarks and the XBEL format.

libssreflect-ocaml

small scale reflection extension for Coq (plugin)

This package is part of Ssreflect, the small scale reflection extension for Coq. It provides a new tactic language, which promotes more structured, concise and robust proof scripts, and is in fact independent from the "reflection" proof style. It is implemented as a linkable extension to the Coq system.