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)