wget -O openjml.zip https://github.com/OpenJML/OpenJML/releases/download/0.17.0-alpha-15/openjml-ubuntu-20.04-0.17.0-alpha-15.zip mkdir openjml unzip -d ./openjml ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback