libksieveui5
Sieve, the mail filtering language, GUI library
why3-coq
Coq support for the why3 verification platform
This package contains the compiled coq files that are necessary to
use the coq proof assistant together with the why3 deductive
verification platform.
libxmltooling10
C++ XML parsing library with encryption support (runtime)
The XMLTooling library contains generic XML parsing and
processing classes based on the Xerces-C DOM. It adds more powerful facilities
for declaring element- and type-specific API and implementation classes, as
well as signing and encryption support.
dos2unix
convert text file line endings between CRLF and LF
This package contains utilities dos2unix, unix2dos, mac2unix,
unix2mac to convert the line endings of text files between UNIX (LF),
DOS (CRLF) and Mac (CR) formats.
libcatalyst-plugin-cache-perl
flexible caching support for Catalyst
Catalyst::Plugin::Cache gives you access to a variety of systems for caching
data. It allows you to use a very simple configuration API, while maintaining
the possibility of flexibility when you need it later.
libpam-kwallet4
KWallet (KDE 4) integration with PAM
The KDE Wallet system provides a secure way to store passwords and other
secret information, allowing the user to remember only a single KDE Wallet
password instead of numerous different passwords and credentials.