|
| From: | Ludovic Courtès |
| Subject: | bug#56107: [PATCH]: Update z3 to 4.8.17 and use cmake to build the package. |
| Date: | Mon, 04 Jul 2022 11:14:21 +0200 |
| User-agent: | Gnus/5.13 (Gnus v5.13) Emacs/28.1 (gnu/linux) |
Hi, Zhu Zihao <all_but_last@163.com> skribis: > I update the solidity to 0.8.15 and now it can be built with z3 4.8. Perfect; applied, thanks! Ludo’.
| [Prev in Thread] | Current Thread | [Next in Thread] |