I\'m trying to install Dafny on my machine (Ubuntu 18.04) but all my attempts failed. I followed this instructions: https://github.com/dafny-lang/dafny/wiki/INSTALL#linux-binary
