Julien Olivain e784eb8538 package/z3: bump to version 4.12.5 ...

For change log since 4.12.4, see:
https://github.com/Z3Prover/z3/blob/z3-4.12.5/RELEASE_NOTES.md#version-4125

Signed-off-by: Julien Olivain <ju.o@free.fr>
Signed-off-by: Peter Korsgaard <peter@korsgaard.com>

2024-01-30 09:26:27 +01:00

..

Config.in

…

z3.hash

package/z3: bump to version 4.12.5

2024-01-30 09:26:27 +01:00

z3.mk

package/z3: bump to version 4.12.5

2024-01-30 09:26:27 +01:00