This is a bugfix (#28) only release, no functional changes have been introduced.
All previous versions were using some Assume pragmas to prove that range checks can't fail. As it turns out, these assumptions were wrong: Empty arrays (those where 'Last is smaller than 'First) can indeed have any index whose range is with the range of the base type (a 64 bit integer in our case).
With enabled range or assertions checks (like Assert, Assume pragmas are also checked at run-time) this would have raised a run-time error (either Assertion_Error for the failed Assumeption, or a range check error for the assignment to another variable later on).
sha512:7c1a189d572b7b24b07a228505f5d77eb973126c3b0524543c55b6f4c140cb5b778748017670c2c51d57d5b64f92010834d04d261388e102dd95a5555794fe85 Saatana-2.0.2.zip
sha512:edf1f2f600901d91a7e9993db30f705106ff735124487e77b21881d2022bad7a858276735504fa4788bb12f4cd051426021ac998d1b8399769f191ec1ea90a41 Saatana-2.0.2.tar.gz