%FILENAME%
z3-java-4.16.0-1-aarch64.pkg.tar.xz

%NAME%
z3-java

%BASE%
z3

%VERSION%
4.16.0-1

%DESC%
High-performance theorem prover

%CSIZE%
225300

%ISIZE%
475446

%MD5SUM%
47be6a714477312ddf1f5d3c9547eac8

%SHA256SUM%
ae8abfd3d4aeaf6de302c19ea6f7d6777eaddd102b388b1ce5e5f214a121b277

%PGPSIG%
iQIzBAABCgAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmnKtq8ACgkQdxk/FSvb5qaa4xAAwPxzwpDPxUEwTeBaieXPk+jdhGBbTLdbErB3kRy6kEyXdPV1qyawKrnH4grnudjBuSa4IyHA+Tnix79Uf8yGMNP+45ghD5bVgWXknUbxMH+rCny227mNR7qI6bv0jGVI0HqIUya4ZWD9NzMyjbr13kPB2j34yg5MBPkQY0wkfvqaJw6VCA+iJI2QSB7bZpc1EpFUoOg+S+dR3VP17cl/GNFDJIdCVavL+oKTplkaFpsdMjownkgGDnWuq/ddwzuDhzTDusEePXU0vqWwt7IATnZagu4XiDjdBkZmNb+yDK/LNeU6iKUMP9THQorFrACReWLGYZYeF74DzZXz7Cp6jfzYRM3Om5IhRbpgM3Yy3vwn3vg62jVrRB+jJ9dR7GUsPwx93MPgDISTEYlQIWZyt4La6cNyo18TIAZOGy1YM5C1hpooJZc5idx7JDqrd7s9sesYdAWKsgUwsyBSz9X571GY1/OeHJg8Ka1he6XuivAOrtWNW5sKpMmJkylC+4P+wQFXdhPmQNagiF9O4Adk0CgBr71YZ7p66njpLmQ8Bo6TKpOyLT2eGlkxYuEZAx7bNh5dqMcbpFBI4a99GGQuSj4obOUl35D+5ZJgd9bsyHlyYgX6qxzE3FqK+cvFiMz4okXrP0uCPuwliI4jg4BbEZCPiyG5xZSZDXbUkoOWTWQ=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1774891879

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

