How to install coq on Ubuntu 20.04 (Focal Fossa)?
In this article we are going to learn the commands and steps to install coq package on Ubuntu 20.04 (Focal Fossa).
Quick installation of coq Architecture: amd64 Version: 8.11.0-1:
Step 1: Update system:
sudo apt-get update
Step 2: Install: coq Architecture: amd64 Version: 8.11.0-1
Ater updaing the OS run following command to install the packae:
sudo apt-get install coq Architecture: amd64 Version: 8.11.0-1
Package Details | |
| Package: | coq Architecture: amd64 Version: 8.11.0-1 |
| Version: | 8.11.0-1 |
| Maintainer: | Ubuntu Developers |
| Home page: | http://coq.inria.fr/ |
| Description: | proof assistant for higher-order logic (toplevel and compiler) Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5. . This package provides coqtop, a command line interface to Coq. . A graphical interface for Coq is provided in the coqide package. Coq can also be used with ProofGeneral, which allows proofs to be edited using emacs and xemacs. This requires the proofgeneral package to be installed. |
| Distro: | Ubuntu 20.04 LTS |
| Release: | |
| Repo/Section: | universe/math |
How to install coq Architecture: amd64 Version: 8.11.0-1 on Ubuntu 20.04 LTS?
First of all update your system with the command:
sudo apt-get update
Above command will download the package lists for Ubuntu 20.04 LTS on your system. This will update the list of newest versions of packages and its dependencies on your system.
After downloading the latest package list with the help of above you can run the installation process.
If coq Architecture: amd64 Version: 8.11.0-1 is not installed on your compter then the command 'dpkg -L coq Architecture: amd64 Version: 8.11.0-1' will give followin error.
deepak@deepak-VirtualBox:~$ dpkg -L coq [1mdpkg-query:[0m package 'coq' is not installed Use dpkg --contents (= dpkg-deb --contents) to list archive files contents. deepak@deepak-VirtualBox:~$
Installing coq Architecture: amd64 Version: 8.11.0-1:
After system update use the following command to install coq Architecture: amd64 Version: 8.11.0-1:
sudo apt-get install coq Architecture: amd64 Version: 8.11.0-1
Above command will confirm before installing the package on your Ubuntu 20.04 LTS Operating System. If you are not already logged in as su, installer will ask you the root password. After completion of the installation you can use the package on your system.
How to uninstall/remove coq Architecture: amd64 Version: 8.11.0-1 from Ubuntu 20.04 LTS?
Now we will see the commands for uninstalling the coq Architecture: amd64 Version: 8.11.0-1 from Ubuntu 20.04 LTS. For uninstalling this package you can easily use the apt command and remove the package from Linux Operating System.
To remove the coq Architecture: amd64 Version: 8.11.0-1 following command is used:
sudo apt-get remove coq Architecture: amd64 Version: 8.11.0-1
Following command is used to remove the coq Architecture: amd64 Version: 8.11.0-1 package along with its dependencies:
sudo apt-get remove --auto-remove coq Architecture: amd64 Version: 8.11.0-1
This will remove coq Architecture: amd64 Version: 8.11.0-1 and all its dependent packages which is no longer needed in the system.
Completely removing coq Architecture: amd64 Version: 8.11.0-1 with all configuration files:
Following command should be used with care as it deletes all the configuration files and data:
sudo apt-get purge coq Architecture: amd64 Version: 8.11.0-1
or you can use following command also:
sudo apt-get purge --auto-remove coq Architecture: amd64 Version: 8.11.0-1
Above command will remove all the configuration files and data associated with coq Architecture: amd64 Version: 8.11.0-1 package. You can can't recover the delete data, so, use this command with care.