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.