<div>I have the same request: please kindly consider upgrading.<br></div><div><br data-mce-bogus="1"></div><div>For my purposes, I ask specifically for version 4.12.1 (which is NOT the most recent version of Z3) because that's the one currently requested by dafny in https://github.com/dafny-lang/dafny/wiki/INSTALL#linux-source .<span data-mce-type="bookmark" id="mce_1_start" data-mce-style="overflow:hidden;line-height:0px" style="overflow: hidden; line-height: 0px;"></span></div>