config-manager
manage directories with Arch, Bazaar, CVS, HTTP, FTP and/or Subversion
config-manager is designed to manage directory trees. The components of
a directory may be specified by a location from any of:
gobjc++-6-powerpc-linux-gnuspe
GNU Objective-C++ compiler
This is the GNU Objective-C++ compiler, which compiles
Objective-C++ on platforms supported by the gcc compiler. It uses the
gcc backend to generate optimized code.
eclipse-pde
Eclipse Plug-in Development Environment (PDE)
The Eclipse Platform is an open and extensible platform for anything and yet
nothing in particular. It provides a foundation for constructing and running
integrated software-development tools. The Eclipse Platform allows tool
builders to independently develop tools that integrate with other people's
tools so seamlessly you can't tell where one tool ends and another starts.
liblightdm-qt5-3-0
LightDM Qt 5 client library
A Qt 5 based library for LightDM clients to use to interface with LightDM.
pki-tps-client
Certificate System - Token Processing System client
Certificate System (CS) is an enterprise software system designed
to manage enterprise Public Key Infrastructure (PKI) deployments.
picosat
SAT solver with proof and core support
Despite the NP completeness of the satisfiabilty 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.