Blog

In this tutorial we learn how to install corosync-vqsim on Ubuntu. corosync-vqsim is cluster engine votequorum simulator

In this tutorial we learn how to install corosync-qnetd on Ubuntu. corosync-qnetd is cluster engine quorum device network daemon

In this tutorial we learn how to install corosync-qdevice on Ubuntu. corosync-qdevice is cluster engine quorum device daemon

In this tutorial we learn how to install corosync-notifyd on Ubuntu. corosync-notifyd is cluster engine notification daemon

In this tutorial we learn how to install corosync-doc on Ubuntu. corosync-doc is cluster engine HTML documentation

In this tutorial we learn how to install corosync on Ubuntu. corosync is cluster engine daemon and utilities

In this tutorial we learn how to install corkscrew on Ubuntu. corkscrew is tunnel TCP connections through HTTP proxies

In this tutorial we learn how to install coreutils on Ubuntu. coreutils is GNU core utilities

In this tutorial we learn how to install corekeeper on Ubuntu. corekeeper is enable core files and report crashes to the sysadmin

In this tutorial we learn how to install coqide on Ubuntu. coqide is proof assistant for higher-order logic (gtk interface)

In this tutorial we learn how to install coq-hierarchy-builder on Ubuntu. coq-hierarchy-builder is build hierarchies of algebraic structures in Coq (tool)

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