Re: [Buildroot] [PATCH 1/1] package/z3: bump to version 4.16.0
Julien Olivain via buildroot <[email protected]> Sun, 02 Aug 2026 21:48:57 +0200
| Newsgroups | net.busybox.buildroot |
|---|---|
| Message-ID | <[email protected]> |
On 18/04/2026 21:11, Julien Olivain via buildroot wrote: > For change log since 4.15.2, see: > https://github.com/Z3Prover/z3/blob/z3-4.16.0/RELEASE_NOTES.md#version-4160 > > Signed-off-by: Julien Olivain <[email protected]> Applied to master. _______________________________________________ buildroot mailing list [email protected] https://lists.buildroot.org/mailman/listinfo/buildroot