statistics

Name Category Description
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

Thank you!