The archives in this directory were previously built automatically,
but are now obsolete and longer updated. Their final builds are kept here.

We no longer build 32-bit binaries of ProB since version 1.9.0 (2019).
If you are on a 32-bit system, please use ProB 1.8.0 or build a current version
from source.

windowslib64.zip has been integrated into probcli_win64.zip.
After ProB 1.11.1 (2021), it will no longer be provided as a separate archive.
All relevant build processes should already be updated accordingly.
If you find any remaining uses of windowslib64.zip, please update them
to use probcli_win64.zip instead.

prosmt_starexec.tar is no longer updated. The relevant scripts can be found
in the ProB source repository under scripts/smt_starexec.