Bug#1073242: How about version 4.12.1?

[Al Ma]

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 .
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://alioth-lists.debian.net/pipermail/pkg-llvm-team/attachments/20240813/a4389647/attachment-0001.htm>