| albert |
x11-misc |
A fast and flexible keyboard launcher |
| cvc4 |
sci-mathematics |
Automatic theorem prover for satisfiability modulo theories (SMT) problems |
| kopete |
kde-apps |
Multi-protocol IM client based on KDE Frameworks |
| ptpd |
net-misc |
Precision Time Protocol daemon |
