%FILENAME%
python-z3-solver-4.12.0-1-armv7h.pkg.tar.xz

%NAME%
python-z3-solver

%BASE%
z3

%VERSION%
4.12.0-1

%DESC%
High-performance theorem prover

%CSIZE%
186136

%ISIZE%
1756921

%MD5SUM%
a5911c51a69f741a236e9fc4a6865c0f

%SHA256SUM%
40f56258ea01281e16746b85a6e667172acc6d8891b6144f2d20c805b77bd2e8

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmPd1isACgkQdxk/FSvb5qYz8w/+P6zw5JoFMFIpNz+NnR7EEldQ6fbBkmWKiNLVgWsELpJJbOwNly3d9cPOyDdwOrOi4hJCSaxj5R4PNR4336l2gGd3p8vASx+luayalmkw8Et/GFaHN8Xt+QRONwcptS/brDQkQh2q3wFoeEd6ryYEAA7S515G2HUHd6YbxOScJ600Gzu2kA1y+ArSb18XW5glKXra5vLSW2zhhSlexDRE7O6YG9DkAXo65mmi3RZTWanSjEkz4yyDJgAO6ZndFuPY9y1cyNJQMm4z0iOFMiOQ4M8tHB9CDyF4/zOV+RDtFDAhjAJga6IzS77thsv40ebp+15cgJbwSodecYt//sCJZIA3jjfQdQHKIO4quQXByFZDxMGw2A/Y8wgQL43fmEjhAXwgsHnw7Yu73A1k+up7LGgfcCmahSHsxiybuJZAEBxgBgDl0+iPUrMfIcPN0Y3n00W13/eIj/29EtkOWYeDxXdTr1TR3LwS/8vK4kW+bPJ2tD+bQG/GvsbhJDcnY8R9lxFroiCV3v5d5JnDzfIXCcMN0mhVYf2LRLzRwH4N9/5Hb6BF5LeLvzD9Guv9fUROEOyq5wqlCJ7QN9dZuGd2vZYQlE/+GXkAmNjrscMMddLa8YXO2vM2uSyCkGjJQU2Lxn4cebmIheWqnXikT7IXxmaGvs75kh5yqy/tC1kfb0Q=

%URL%
https://github.com/Z3Prover/z3

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1675481841

%PACKAGER%
Arch Linux ARM Build System <builder+xu2@archlinuxarm.org>

%REPLACES%
python-z3

