cpp-4.8-powerpc64le-linux-gnu
GNU C preprocessor
mcrl2
formal specification language toolset
mCRL2 stands for micro Common Representation Language 2. It is a
specification language that can be used to specify and analyse the
behaviour of distributed systems and protocols and is the successor to
muCRL. Using its accompanying toolset, systems can be analysed and
verified automatically.
libjsr311-api-java
JSR 311, JAX-RS, Java API for RESTful Web Services
Java API for the development of Web services built according to the
Representational State Transfer (REST) architectural style.
nova-compute-libvirt
OpenStack Compute - compute node libvirt support
wmaker-dbg
Debugging symbols for WindowMaker packages
strongswan-plugin-pkcs11
strongSwan plugin for PKCS#11 smartcard backend