Installation

In this tutorial we learn how to install afterstep-data on Ubuntu 22.04. afterstep-data is data files for AfterStep window manager Introduction In this tutorial we learn how to install afterstep-data […]

In this tutorial we learn how to install aide on Ubuntu 22.04. aide is Advanced Intrusion Detection Environment – dynamic binary Introduction In this tutorial we learn how to install

In this tutorial we learn how to install afuse on Ubuntu 22.04. afuse is automounting file system implemented in user-space using FUSE Introduction In this tutorial we learn how to

In this tutorial we learn how to install aide-common on Ubuntu 22.04. aide-common is Advanced Intrusion Detection Environment – Common files Introduction In this tutorial we learn how to install

In this tutorial we learn how to install agda on Ubuntu 22.04. agda is dependently typed functional programming language Introduction In this tutorial we learn how to install agda on

In this tutorial we learn how to install aide-dynamic on Ubuntu 22.04. aide-dynamic is Advanced Intrusion Detection Environment – transitional package Introduction In this tutorial we learn how to install

In this tutorial we learn how to install agda-bin on Ubuntu 22.04. agda-bin is commandline interface to Agda Introduction In this tutorial we learn how to install agda-bin on Ubuntu

In this tutorial we learn how to install aide-xen on Ubuntu 22.04. aide-xen is Advanced Intrusion Detection Environment – transitional package Introduction In this tutorial we learn how to install

In this tutorial we learn how to install agda-stdlib on Ubuntu 22.04. agda-stdlib is standard library for Agda Introduction In this tutorial we learn how to install agda-stdlib on Ubuntu

In this tutorial we learn how to install agda-stdlib-doc on Ubuntu 22.04. agda-stdlib-doc is standard library for Agda — documentation Introduction In this tutorial we learn how to install agda-stdlib-doc