sudo dpkg -i easycrypt_0.2.2.8-0ubuntu1_all.deb 
Selecting previously deselected package easycrypt.
(Reading database ... 92145 files and directories currently installed.)
Unpacking easycrypt (from easycrypt_0.2.2.8-0ubuntu1_all.deb) ...
Setting up easycrypt (0.2.2.8-0ubuntu1) ...