How to Install libahven3-dev software package in Ubuntu 12.04 LTS (Precise Pangolin)

How to Install libahven3-dev software package in Ubuntu 12.04 LTS (Precise Pangolin)

libahven3-dev software package provides Unit test library for Ada (development), you can install in your Ubuntu 12.04 LTS (Precise Pangolin) by running the commands given below on the terminal,

$ sudo apt-get update
$ sudo apt-get install libahven3-dev

libahven3-dev is installed in your system.

Make ensure the libahven3-dev package were installed using the commands given below,

$ sudo dpkg-query -l | grep libahven3-dev *

You will get with libahven3-dev package name, version, architecture and description in a table

libahven3-dev package basic information:

Distro Ubuntu 12 04 lts precise pangolin
Section Library development
Package libahven3-dev
Version 2.1-2
Description Unit test library for Ada (development)
Sub Section libdevel


See Also, How to uninstall or remove libahven3-dev software package from Ubuntu 12.04 LTS (Precise Pangolin)?


Search
10 Types of TOP Command on Linux / Unix with ExamplesHow to Install and Testing MQTT Using MQTT-Malaria on UbuntuHow to Install HAProxy-1.5-stable version on Ubuntu Xenial-16.04 LTSResolved: Got permission denied while trying to connect to the Docker daemon socket in DockerHow to fix: destination path already exists error while trying to clone the git repo in Ansible?How to fix :net/http: request canceled while waiting for connection error in Terraform?What will do while getting : GCP googleapi Error 400: Unparseable iamMember in Terraform
Find and Replace a line or a Specific Word in Shell Script/bin/sh^M bad interpreter in Linux, How to solved it? Yocto: How to Install Git on Your Intel Edison BoardHow to enabled Apache proxy_module, proxy_http_module in UbuntuHow to Install HAProxy-1.7-stable version on Ubuntu Yakkety-16.10 LTSHow do We Enable the Slow Query Log in MySQL or MariaDB databases on LinuxHow do I undo git add before commit?How do I Passing Jenkins pipeline parameter to a Docker file?How to resolve "WARNING: REMOTE HOST IDENTIFICATION HAS CHANGED!" while SSH connection?