How to Install libapron-ocaml software package in Ubuntu 12.04 LTS (Precise Pangolin)

How to Install libapron-ocaml software package in Ubuntu 12.04 LTS (Precise Pangolin)

libapron-ocaml software package provides runtime libraries for APRON (OCaml interface), 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 libapron-ocaml

libapron-ocaml is installed in your system.

Make ensure the libapron-ocaml package were installed using the commands given below,

$ sudo dpkg-query -l | grep libapron-ocaml *

You will get with libapron-ocaml package name, version, architecture and description in a table

libapron-ocaml package basic information:

Distro Ubuntu 12 04 lts precise pangolin
Section Ocaml
Package libapron-ocaml
Version 0.9.10-5.2ubuntu3
Description runtime libraries for APRON (OCaml interface)
Sub Section Ocaml


See Also, How to uninstall or remove libapron-ocaml 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 ScriptHow to Update System Clocks (Date / Time) Using NTP on LinuxYocto: 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?