libcoq-libhyps
Tactics on hypotheses in Coq
This package provides tactics and tacticals to work
with hypotheses during a Coq proof.
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