libkf5sendlater5

send later library

emerillon-dev

map viewer for the GNOME desktop (development files)

libmercator-0.3-4-dbg

WorldForge terrain library - debugging symbols

libkf5khtml-bin

HTML widget and component

KHTML is a web rendering engine, based on the KParts technology and using KJS for JavaScript support.

python-genpy

Python 2 Robot OS message and service generators

This package is part of Robot OS (ROS). genpy is a python program that generates ROS messages and service code for Python. It lets you generate the code for your program from plain text files.

libz3-jni

theorem prover from Microsoft Research - JNI library

Z3 is a state-of-the-art theorem prover from Microsoft Research. See the z3 package for a detailed description.