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.