plymouth-theme-ubuntu-logo
graphical boot animation and logger - ubuntu-logo theme
yate-dahdi
Dahdi support for YATE
YATE is a telephony engine aimed at creating a telephony server that
performs well enough to deal with PBX requirements and also flexible
enough for complex Gateway and IVR solutions.
cpp-4.8-powerpc64le-linux-gnu
GNU C preprocessor
mcrl2
formal specification language toolset
mCRL2 stands for micro Common Representation Language 2. It is a
specification language that can be used to specify and analyse the
behaviour of distributed systems and protocols and is the successor to
muCRL. Using its accompanying toolset, systems can be analysed and
verified automatically.
qwbfsmanager
graphical file manager for the WBFS filesystem
QWBFS Manager is a graphical user interface (GUI) for working with the Wii
Backup Filesystem (WBFS) filesystem formatted hard disk drive.
libjsr311-api-java
JSR 311, JAX-RS, Java API for RESTful Web Services
Java API for the development of Web services built according to the
Representational State Transfer (REST) architectural style.