Blog

In this tutorial we learn how to install coq-doc-html on Ubuntu. coq-doc-html is documentation for Coq in html format

In this tutorial we learn how to install coq-doc on Ubuntu. coq-doc is documentation for Coq

In this tutorial we learn how to install coq on Ubuntu. coq is proof assistant for higher-order logic (toplevel and compiler)

In this tutorial we learn how to install copyright-update on Ubuntu. copyright-update is update copyright information in files

In this tutorial we learn how to install copyq-plugins on Ubuntu. copyq-plugins is Plugins for CopyQ

In this tutorial we learn how to install copyq-doc on Ubuntu. copyq-doc is Documentation and examples for CopyQ - HTML format

In this tutorial we learn how to install copyq on Ubuntu. copyq is Advanced clipboard manager with editing and scripting features

In this tutorial we learn how to install coop-computing-tools-doc on Ubuntu. coop-computing-tools-doc is documentation for coop-computing-tools

In this tutorial we learn how to install coop-computing-tools-dev on Ubuntu. coop-computing-tools-dev is libraries and header files for coop-computing-tools

In this tutorial we learn how to install coop-computing-tools on Ubuntu. coop-computing-tools is cooperative computing tools

In this tutorial we learn how to install coolmail on Ubuntu. coolmail is Mail notifier with 3d graphics

In this tutorial we learn how to install coolkey on Ubuntu. coolkey is Smart Card PKCS #11 cryptographic module