[Gretl-users] How to install the last version of Gretl in Ubuntu 18.04