python-grokcore.component
Grok-like configuration for basic components
pam-kwallet
transitional dummy package
kde-zeroconf-dbg
debug symbols for kde-zeroconf
gobjc++-6-sh4-linux-gnu
GNU Objective-C++ compiler
This is the GNU Objective-C++ compiler, which compiles
Objective-C++ on platforms supported by the gcc compiler. It uses the
gcc backend to generate optimized code.
cafeobj
new generation algebraic specification and programming language
CafeOBJ is a most advanced formal specification language which
inherits many advanced features (e.g. flexible mix-fix syntax,
powerful and clear typing system with ordered sorts, parameteric
modules and views for instantiating the parameters, and module
expressions, etc.) from OBJ (or more exactly OBJ3) algebraic
specification language.