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.