@name z3-4.12.1
@version 7
@comment pkgpath=math/z3 ftp=yes
@arch mips64,octeon
+DESC
@sha 9cwE2y58oWmdnS8om4nmcgGBzAqKPbwxqpptNIs7kMw=
@size 142
@conflict py3-z3-solver-*
@depend lang/python/3.10,-main:python->=3.10,<3.11:python-3.10.10p0
@wantlib c++.9.0
@wantlib c++abi.6.0
@wantlib c.97.0
@wantlib m.10.1
@wantlib pthread.27.0
@cwd /usr/local
@bin bin/z3
@sha vCcyoM6w3Qx/XckmT6wgkY9+Sz1zYnbdIe3MY5wL3SE=
@size 43014015
@ts 1680203075
include/z3++.h
@sha ZGLTMjie0eaYRTY2jDCugvixF0rQ5A7pgUZJbEAfO0w=
@size 187565
@ts 1674011426
include/z3.h
@sha DTKqKQ8FoAXv8F97r3jT7NSViyAcIU0ID9K+9TtScnI=
@size 514
@ts 1674011426
include/z3_algebraic.h
@sha dlnW3sJeSeLdZUamymwFrbJ0N6mJ2FevDLzHGRrbRaY=
@size 7193
@ts 1674011426
include/z3_api.h
@sha S6neYAxhiJU2XOKNo36TMt9dij14yTjKYvZjPu+/5dY=
@size 260214
@ts 1674011426
include/z3_ast_containers.h
@sha Zofz7JSD83dLiVG+D5lEq0f2G+29Qhk9B13YjGEvskg=
@size 5735
@ts 1674011426
include/z3_fixedpoint.h
@sha zIpCQWPdapKhv+B96mjtuPyNq7WPYSsehaAzohF43tw=
@size 14123
@ts 1674011426
include/z3_fpa.h
@sha n36GqNjGktxyxQv/VZoTrnH21QZ+LBSyTbvLxMStrvY=
@size 36516
@ts 1674011426
include/z3_macros.h
@sha nZL4E2q+8Q3YQpoo/ZBo6bPk/rVpYHJ2PNjQ7cHwCyQ=
@size 389
@ts 1674011426
include/z3_optimization.h
@sha t0zKq30KpdjSux/xfvqFV8i491ayykxXdni/AMhROa4=
@size 12312
@ts 1674011426
include/z3_polynomial.h
@sha 4YlMQO2zcRXPIhqO8vflVXxzYMPAWD8FWC+Enr3XjDY=
@size 1056
@ts 1674011426
include/z3_rcf.h
@sha mwwfK5/Uu1OPmol41h/NH8+m6JWCUoSJ9uMx2QPb670=
@size 5976
@ts 1674011426
include/z3_spacer.h
@sha LY/XlTYOPZLdCo6hJmZlL1HGTPdrCivg9fzzPFYxTVM=
@size 3901
@ts 1674011426
include/z3_v1.h
@sha MNF3ba/d1CbQakpzfVHTdzG0V5D8Jlc7NhVi43WOuwQ=
@size 2220
@ts 1674011426
include/z3_version.h
@sha HM7LO69Xvl0cYJmSvjn+m1NwIxxXRtuz3Gn/dvwtPJI=
@size 212
@ts 1680162884
lib/cmake/
lib/cmake/z3/
lib/cmake/z3/Z3Config.cmake
@sha 544XMhNCLsSdh+gf4osmsjFRpUF1gNLLqFeVAGwrOoE=
@size 2335
@ts 1680162888
lib/cmake/z3/Z3ConfigVersion.cmake
@sha DEHtd6mJ8TDg125E+72KH2YMMoE8qs3Wi4eFuifw35U=
@size 2887
@ts 1680162888
lib/cmake/z3/Z3Targets-release.cmake
@sha L3o8Q3gKj6CxyVYSrIKaghN2FFuERMm3hMPxo8zGphs=
@size 811
@ts 1680162895
lib/cmake/z3/Z3Targets.cmake
@sha tTJoQx6kaG26HYC0+f8rVz4P0pG0TilDE+1A736PjbI=
@size 3874
@ts 1680162895
@lib lib/libz3.so.4.0
@sha 6CLINECduvC3uGGQ9b1yhigNwFE2+jHnk9EJGAHJ5gI=
@size 42817290
@ts 1680202571
lib/pkgconfig/z3.pc
@sha uQe/Gwn399qPaY1jmXAnV5PE5F92ffwStAWt6u1k8KQ=
@size 267
@ts 1680162888
lib/python3.10/site-packages/z3/
lib/python3.10/site-packages/z3/__init__.py
@sha U8RSmgHzjnwNWTt1SMeeDXOYqgn318vRdzRwhZ7i/r0=
@size 210
@ts 1680203136
lib/python3.10/site-packages/z3/z3.py
@sha OZqVYqLYNvZR+fdn59FInNefayDkDe2FNE4AC2DJSRA=
@size 334372
@ts 1680203137
lib/python3.10/site-packages/z3/z3consts.py
@sha xcrrb+/Hmu86BR+4y/VoYlxtc1SqAQ2I/Q+y/v3ioLk=
@size 7867
@ts 1680203141
lib/python3.10/site-packages/z3/z3core.py
@sha TzVjV/NN9JNC4vf/rWIsKLwC3UeS+mj5aoO0sCoYF28=
@size 189433
@ts 1680203144
lib/python3.10/site-packages/z3/z3num.py
@sha 1618zrVghn9V3L2HxYZuHDZf3eyS+qIjIb+RtgxDHe4=
@size 16090
@ts 1680203145
lib/python3.10/site-packages/z3/z3poly.py
@sha /QYClBjliZswD+OzowDREMjhdOYzy6i3UTFPIqWDOU4=
@size 1113
@ts 1680203145
lib/python3.10/site-packages/z3/z3printer.py
@sha tIBvuRrj0iCVroigNgsw0NnI3K4OcLAj7xt+W+e1pu4=
@size 45224
@ts 1680203145
lib/python3.10/site-packages/z3/z3rcf.py
@sha UE4DObG7BgdcGcpS5RRXcWZxIYovIZHQyXVOC3W+3oc=
@size 5039
@ts 1680203146
lib/python3.10/site-packages/z3/z3test.py
@sha ZQT50MPz7JDsRowPDfOB21O1EOyIIwL/u8Gcm6JrMAE=
@size 464
@ts 1680203147
lib/python3.10/site-packages/z3/z3types.py
@sha MMvQND6BU40ln2qCnel45/GWYvxCwHjki49hHzVY8dA=
@size 4723
@ts 1680203146
lib/python3.10/site-packages/z3/z3util.py
@sha qqIjGyHR26pAvdA6Lfb3Ry136Uv6cjaIGEo0YeMZ50c=
@size 11388
@ts 1680203146
