Update z3 to 4.8.10.

This commit is contained in:
chriseth 2021-01-25 11:40:31 +01:00
parent d9b39b9e57
commit 1c35c52fbe

View File

@ -25,7 +25,7 @@ set -ev
keyid=70D110489D66E2F6
email=builds@ethereum.org
packagename=libz3-static-dev
version=4.8.9
version=4.8.10
DISTRIBUTIONS="focal groovy"