How to Install coqide software package in Debian 9 (Stretch)

How to Install coqide software package in Debian 9 (Stretch)

coqide software package provides proof assistant for higher-order logic (gtk interface), you can install in your Debian 9 (Stretch) by running the commands given below on the terminal,

$ sudo apt-get update
$ sudo apt-get install coqide

coqide is installed in your system.

Make ensure the coqide package were installed using the commands given below,

$ sudo dpkg-query -l | grep coqide *

You will get with coqide package name, version, architecture and description in a table

coqide package basic information:

Distro Debian 9 stretch
Section Mathematics
Package coqide
Version 8.5-2+b1
Description proof assistant for higher-order logic (gtk interface)
Sub Section Math


See Also, How to uninstall or remove coqide software package from Debian 9 (Stretch)?


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.6-stable version on Ubuntu Yakkety-16.10 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
How do you Redirect Tomcat Web Application Behind a AacheHow to Change Default Tomcat Port Number in LinuxHow do You Check Java, Apache-Tomcat and JBoss VersionsHow to Set Environment Variable in LinuxHow to Change User Login Key Pair for EC2 InstanceHow to Install HAProxy-1.5-stable version on Ubuntu Xenial-16.04 LTSFAILED boto3 and botocore required for module when execute AnsibleHow do I make Terraform to read AWS credential file?How to resolve "WARNING: REMOTE HOST IDENTIFICATION HAS CHANGED!" while SSH connection?How to Install PHP mbstring on Alpine Linux?