@name z3-4.12.2p0
@version 1
@comment pkgpath=math/z3 ftp=yes
@arch sparc64
+DESC
@sha 9cwE2y58oWmdnS8om4nmcgGBzAqKPbwxqpptNIs7kMw=
@size 142
@conflict py3-z3-solver-*
@depend lang/gcc/8,-libs:gcc-libs->=8,<9:gcc-libs-8.4.0p18
@depend lang/python/3.10,-main:python->=3.10,<3.11:python-3.10.13
@wantlib c.97.1
@wantlib estdc++.19.0
@wantlib m.10.1
@wantlib pthread.27.1
@cwd /usr/local
@bin bin/z3
@sha awPpFuvjk+sGEsTxp8ne05KwQqidqG3oxDHA3ZTxfts=
@size 31748371
@ts 1696894666
include/z3++.h
@sha GrnsjDMCrwiiZVtRhZGVZjBd2n/Nmfp+2FwzPKypxQ4=
@size 193408
@ts 1683921544
include/z3.h
@sha DTKqKQ8FoAXv8F97r3jT7NSViyAcIU0ID9K+9TtScnI=
@size 514
@ts 1683921544
include/z3_algebraic.h
@sha dlnW3sJeSeLdZUamymwFrbJ0N6mJ2FevDLzHGRrbRaY=
@size 7193
@ts 1683921544
include/z3_api.h
@sha AHFdfnlZJlp92Hk3jJC6rw4Gd/8w49rDGNu/Xi3KusA=
@size 264095
@ts 1683921544
include/z3_ast_containers.h
@sha Zofz7JSD83dLiVG+D5lEq0f2G+29Qhk9B13YjGEvskg=
@size 5735
@ts 1683921544
include/z3_fixedpoint.h
@sha zIpCQWPdapKhv+B96mjtuPyNq7WPYSsehaAzohF43tw=
@size 14123
@ts 1683921544
include/z3_fpa.h
@sha n36GqNjGktxyxQv/VZoTrnH21QZ+LBSyTbvLxMStrvY=
@size 36516
@ts 1683921544
include/z3_macros.h
@sha nZL4E2q+8Q3YQpoo/ZBo6bPk/rVpYHJ2PNjQ7cHwCyQ=
@size 389
@ts 1683921544
include/z3_optimization.h
@sha t0zKq30KpdjSux/xfvqFV8i491ayykxXdni/AMhROa4=
@size 12312
@ts 1683921544
include/z3_polynomial.h
@sha 4YlMQO2zcRXPIhqO8vflVXxzYMPAWD8FWC+Enr3XjDY=
@size 1056
@ts 1683921544
include/z3_rcf.h
@sha mwwfK5/Uu1OPmol41h/NH8+m6JWCUoSJ9uMx2QPb670=
@size 5976
@ts 1683921544
include/z3_spacer.h
@sha LY/XlTYOPZLdCo6hJmZlL1HGTPdrCivg9fzzPFYxTVM=
@size 3901
@ts 1683921544
include/z3_v1.h
@sha MNF3ba/d1CbQakpzfVHTdzG0V5D8Jlc7NhVi43WOuwQ=
@size 2220
@ts 1683921544
include/z3_version.h
@sha Sy1MofELYPff6zxCiiSrtsiGwYyzKXmQYMjcm8WEMv0=
@size 212
@ts 1696854729
lib/cmake/
lib/cmake/z3/
lib/cmake/z3/Z3Config.cmake
@sha +CBUbYFZa2Bs7MN3npHOTJDJOBIwwy1Z+6VsUiJNF9E=
@size 2335
@ts 1696854733
lib/cmake/z3/Z3ConfigVersion.cmake
@sha GiOt77cI4mmNGOUOA4ksJDKHmn6Rkdre5SmjGHzOCjA=
@size 2771
@ts 1696854733
lib/cmake/z3/Z3Targets-release.cmake
@sha L3o8Q3gKj6CxyVYSrIKaghN2FFuERMm3hMPxo8zGphs=
@size 811
@ts 1696854741
lib/cmake/z3/Z3Targets.cmake
@sha A44/FobtnLC/ldlhgfGSFv9jbzHZmTFzj6Txi4A4frs=
@size 3874
@ts 1696854741
@lib lib/libz3.so.4.0
@sha jRKqq/xDQsmyuhbKAXkRGdooYfPWmdn45jp2C5/JV8Y=
@size 31675512
@ts 1696894265
lib/pkgconfig/z3.pc
@sha DVcv4te8couRm1G3t7RcB8wUNu0wftxfK/AZ3znRv6A=
@size 267
@ts 1696854733
lib/python3.10/site-packages/z3/
lib/python3.10/site-packages/z3/__init__.py
@sha U8RSmgHzjnwNWTt1SMeeDXOYqgn318vRdzRwhZ7i/r0=
@size 210
@ts 1696894757
lib/python3.10/site-packages/z3/z3.py
@sha zKgHSNklJQdRpR9+WSYnn9GAxdOfEStIZ7n6w+4UXu4=
@size 336451
@ts 1696894757
lib/python3.10/site-packages/z3/z3consts.py
@sha xcrrb+/Hmu86BR+4y/VoYlxtc1SqAQ2I/Q+y/v3ioLk=
@size 7867
@ts 1696894759
lib/python3.10/site-packages/z3/z3core.py
@sha D1Z0Yf3jMN/fPZhtc7mZ7azrxJjYELzlTDyYJrQL5QM=
@size 193001
@ts 1696894762
lib/python3.10/site-packages/z3/z3num.py
@sha 1618zrVghn9V3L2HxYZuHDZf3eyS+qIjIb+RtgxDHe4=
@size 16090
@ts 1696894762
lib/python3.10/site-packages/z3/z3poly.py
@sha /QYClBjliZswD+OzowDREMjhdOYzy6i3UTFPIqWDOU4=
@size 1113
@ts 1696894762
lib/python3.10/site-packages/z3/z3printer.py
@sha tIBvuRrj0iCVroigNgsw0NnI3K4OcLAj7xt+W+e1pu4=
@size 45224
@ts 1696894763
lib/python3.10/site-packages/z3/z3rcf.py
@sha UE4DObG7BgdcGcpS5RRXcWZxIYovIZHQyXVOC3W+3oc=
@size 5039
@ts 1696894763
lib/python3.10/site-packages/z3/z3test.py
@sha ZQT50MPz7JDsRowPDfOB21O1EOyIIwL/u8Gcm6JrMAE=
@size 464
@ts 1696894764
lib/python3.10/site-packages/z3/z3types.py
@sha unKDVLSp7kC8+9iZ9AXZBLxLsCPkGAcETAbDGFSMMIA=
@size 4883
@ts 1696894763
lib/python3.10/site-packages/z3/z3util.py
@sha qqIjGyHR26pAvdA6Lfb3Ry136Uv6cjaIGEo0YeMZ50c=
@size 11388
@ts 1696894763
