Bug#1073242: Bug#1014978: How about version 4.12.1?

[Sylvestre Ledru]

Hello

Not sure when we will be able to work on it. Don't hesitate to propose a 
patch
Cheers
S


Le 13/08/2024 à 18:06, Al Ma a écrit :
I have the same request: please kindly consider upgrading.

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 .