ice35-slice

Slice definitions for Ice services

libxml-namespace-perl

simple support for XML namespaces

XML::Namespace is a Perl module implementing a simple object for representing XML Namespaces. It provides little more than some syntactic sugar for your Perl programs, saving you the bother of typing lots of long-winded URIs.

libpion-net-4.0

lightweight HTTP interface library - runtime files

android-libnativebridge

Android native bridge library

This library is only used by Android SDK currently.

libcoq-libhyps

Tactics on hypotheses in Coq

This package provides tactics and tacticals to work with hypotheses during a Coq proof.

librnd3-hid-gtk2-gl

GUI: gtk2, opengl

Hardware accelerated (opengl) rendering on gtk2.