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.

php-horde-vfs

Virtual file system library

A library that provides a Virtual File System API, with backends for SQL, FTP, Local filesystems, Hybrid SQL and filesystem, Samba, SSH2/SFTP, MongoDB. Reading, writing and listing of files are all supported.

kanboard-cli

kanboard command line client

Kanboard (https://kanboard.net/) is project management software that focuses on the Kanban methodology. It has the following features:

festlex-ifd

Italian support for Festival

Italian Festival is a set of modules for the Festival text-to-speech system which allow it to synthesize speech in Italian.

libboost1.55-doc

Boost.org libraries documentation