GitLab

All files from windowslib64.zip are already included in
probcli_win64.zip, so it's enough to download just the second ZIP.

probcli no longer supports 32-bit Linux and the nightly version for it
hasn't been updated since April 2019.

It does the same thing as downloadCli, but is missing the doLast block
around the task code. This means that even though downloadCli2 is never
used, its code executes every time Gradle is run, so the CLI is
downloaded much more often than it needs to be.

the generated counter examples are not in
the right format for the ProB for Rodin plugin

problem was not functor but length of values

(to force re-building plugin)

it still contains old version of 32 bit linux and windows probclis

seems to happen at startup of Rodin 3.5RC