sudo dpkg -i build/easycrypt_0.2.2.9-0ubuntu1_all.deb 
[sudo] password for steven:
(Reading database ... 109664 files and directories currently installed.)
Preparing to replace easycrypt 0.2.2.8-1-0ubuntu1 (using .../easycrypt_0.2.2.9-0ubuntu1_all.deb) ...
Unpacking replacement easycrypt ...
Setting up easycrypt (0.2.2.9-0ubuntu1) ...