How to Install cryptol software package in Ubuntu 16.04 LTS (Xenial Xerus)

How to Install cryptol software package in Ubuntu 16.04 LTS (Xenial Xerus)

cryptol software package provides domain-specific language of cryptography, you can install in your Ubuntu 16.04 LTS (Xenial Xerus) by running the commands given below on the terminal,

$ sudo apt-get update
$ sudo apt-get install cryptol 

cryptol is installed in your system.

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

$ sudo dpkg-query -l | grep cryptol *

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

cryptol package basic information:

Distro Ubuntu 16 04 lts xenial xerus
Section Utilities
Package cryptol
Version 2.2.6-1build1
Description domain-specific language of cryptography
Sub Section Utils


See Also, How to uninstall or remove cryptol software package from Ubuntu 16.04 LTS (Xenial Xerus) ?