Bug#1073242: Bug#1014978: How about version 4.12.1?
Sylvestre Ledru
sylvestre at debian.org
Tue Aug 13 17:37:23 BST 2024
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 .
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://alioth-lists.debian.net/pipermail/pkg-llvm-team/attachments/20240813/200602a8/attachment-0001.htm>
More information about the Pkg-llvm-team
mailing list