fookebox

web-based jukebox frontend to mpd

fookebox is a jukebox-style web-frontend to mpd. It can serve as a keyboard-less jukebox or as a generic mpd frontend, depending on your preferences.

libfreerdp-shadow3-3

FreeRDP Remote Desktop Protocol shadow libraries

FreeRDP is a libre client/server implementation of the Remote Desktop Protocol (RDP).

minisat

Fast and lightweight SAT solver

Despite the NP completeness of the satisfiability problem of Boolean formulas (SAT), SAT solvers are often able to decide this problem in a reasonable time frame. As all other NP complete problems are reducible to SAT, the solvers have become a general purpose tool for this class of problems.

firefox-locale-ku

Transitional package for unavailable language

mrbayes-dbg

Bayesian Inference of Phylogeny - debug symbols

mediawiki-math

math rendering plugin for MediaWiki (transitional package)