python-portpicker
Python 2 module to find unused network ports to bind to
libclaw-dynamic-library1v5
Class to ease the manipulation of dynamic libraries
Part of the libclaw library.
libcoq-iris
high-order concurrent separation logic framework for Coq
This package provides a high-order concurrent separation
logic framework for Coq, which means it is useful to reason
about safety of concurrent programs.
libcss-parser0
simple CSS1 parser library for C
htmlcxx is a simple non-validating CSS1 and HTML parser for C++. Although
there are several other html parsers available, htmlcxx has some
characteristics that make it unique:
libicu55
International Components for Unicode
libhx509-5-heimdal
Heimdal Kerberos - X509 support library
Heimdal is a free implementation of Kerberos 5 that aims to be
compatible with MIT Kerberos.