ubuntu 18.04LTS default plymouth theme

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.

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.
graphical file manager for the WBFS filesystem

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.