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.