@name z3-4.10.2
@version 8
@comment pkgpath=math/z3 ftp=yes
@arch arm,armv7
+DESC
@sha 9cwE2y58oWmdnS8om4nmcgGBzAqKPbwxqpptNIs7kMw=
@size 142
@conflict py3-z3-solver-*
@depend lang/python/3.9,-main:python->=3.9,<3.10:python-3.9.14
@wantlib c++.9.0
@wantlib c++abi.6.0
@wantlib c.96.2
@wantlib m.10.1
@wantlib pthread.26.2
@cwd /usr/local
@bin bin/z3
@sha zLdisr22XSkd+LUa5JPp6qxTlDhylkaD8VlfMTQtGrI=
@size 25577364
@ts 1665378303
include/z3++.h
@sha tToOCGM+zTAEN8dfKTBOZ38RaeiGNBsBBFEpQwy3R38=
@size 184912
@ts 1659130286
include/z3.h
@sha DTKqKQ8FoAXv8F97r3jT7NSViyAcIU0ID9K+9TtScnI=
@size 514
@ts 1659130286
include/z3_algebraic.h
@sha dlnW3sJeSeLdZUamymwFrbJ0N6mJ2FevDLzHGRrbRaY=
@size 7193
@ts 1659130286
include/z3_api.h
@sha IkBlYzql2pVhAg2UYSuWCQYfW2RASuPYxAigiWbHWkY=
@size 258241
@ts 1659130286
include/z3_ast_containers.h
@sha Zofz7JSD83dLiVG+D5lEq0f2G+29Qhk9B13YjGEvskg=
@size 5735
@ts 1659130286
include/z3_fixedpoint.h
@sha zIpCQWPdapKhv+B96mjtuPyNq7WPYSsehaAzohF43tw=
@size 14123
@ts 1659130286
include/z3_fpa.h
@sha n36GqNjGktxyxQv/VZoTrnH21QZ+LBSyTbvLxMStrvY=
@size 36516
@ts 1659130286
include/z3_macros.h
@sha nZL4E2q+8Q3YQpoo/ZBo6bPk/rVpYHJ2PNjQ7cHwCyQ=
@size 389
@ts 1659130286
include/z3_optimization.h
@sha t0zKq30KpdjSux/xfvqFV8i491ayykxXdni/AMhROa4=
@size 12312
@ts 1659130286
include/z3_polynomial.h
@sha 4YlMQO2zcRXPIhqO8vflVXxzYMPAWD8FWC+Enr3XjDY=
@size 1056
@ts 1659130286
include/z3_rcf.h
@sha mwwfK5/Uu1OPmol41h/NH8+m6JWCUoSJ9uMx2QPb670=
@size 5976
@ts 1659130286
include/z3_spacer.h
@sha LY/XlTYOPZLdCo6hJmZlL1HGTPdrCivg9fzzPFYxTVM=
@size 3901
@ts 1659130286
include/z3_v1.h
@sha MNF3ba/d1CbQakpzfVHTdzG0V5D8Jlc7NhVi43WOuwQ=
@size 2220
@ts 1659130286
include/z3_version.h
@sha 9QN+7ZIPfshP+/9LGKB6Bh3UXPlHIUSt430YOfF/kQI=
@size 212
@ts 1665349511
lib/cmake/
lib/cmake/z3/
lib/cmake/z3/Z3Config.cmake
@sha SeJBR87CVIDbphd8oDDLbFdD54WPQm2+Cy8Jl5LZddw=
@size 2335
@ts 1665349514
lib/cmake/z3/Z3ConfigVersion.cmake
@sha tcsFl0OHvWdLnHdQw476unyioF/d0uK+2EYI4Fnrr7k=
@size 2887
@ts 1665349514
lib/cmake/z3/Z3Targets-release.cmake
@sha bwEQiU6bxc1GRAO6L7JKCEscJj25+vm5ltBy1Xu5gCs=
@size 811
@ts 1665349527
lib/cmake/z3/Z3Targets.cmake
@sha I0laPuqCN2lrP48f3seScRjpmXMQ+dA8MYoCDAW7T4g=
@size 3874
@ts 1665349527
@lib lib/libz3.so.3.2
@sha pDFb0D+bEaGXZfU4Gj1LR5OJrjGjjHoLS8pp9t4VkNo=
@size 25510044
@ts 1665377936
lib/pkgconfig/z3.pc
@sha 2ctv7YHHIQZPsrHc0PjvFCF9dO4znUCGRV+1/wLQ2+Y=
@size 267
@ts 1665349514
lib/python3.9/site-packages/z3/
lib/python3.9/site-packages/z3/__init__.py
@sha U8RSmgHzjnwNWTt1SMeeDXOYqgn318vRdzRwhZ7i/r0=
@size 210
@ts 1665378354
lib/python3.9/site-packages/z3/z3.py
@sha TFqXBAnurJ67n533bZzlOnguo3we+/vX0cjtRON6NnU=
@size 332130
@ts 1665378355
lib/python3.9/site-packages/z3/z3consts.py
@sha xcrrb+/Hmu86BR+4y/VoYlxtc1SqAQ2I/Q+y/v3ioLk=
@size 7867
@ts 1665378355
lib/python3.9/site-packages/z3/z3core.py
@sha nErYJBNhK1lnluiN0VeqyKmLcXKakV5bO59S7uCMwSY=
@size 188300
@ts 1665378357
lib/python3.9/site-packages/z3/z3num.py
@sha 1618zrVghn9V3L2HxYZuHDZf3eyS+qIjIb+RtgxDHe4=
@size 16090
@ts 1665378358
lib/python3.9/site-packages/z3/z3poly.py
@sha /QYClBjliZswD+OzowDREMjhdOYzy6i3UTFPIqWDOU4=
@size 1113
@ts 1665378358
lib/python3.9/site-packages/z3/z3printer.py
@sha tIBvuRrj0iCVroigNgsw0NnI3K4OcLAj7xt+W+e1pu4=
@size 45224
@ts 1665378358
lib/python3.9/site-packages/z3/z3rcf.py
@sha UE4DObG7BgdcGcpS5RRXcWZxIYovIZHQyXVOC3W+3oc=
@size 5039
@ts 1665378358
lib/python3.9/site-packages/z3/z3test.py
@sha ZQT50MPz7JDsRowPDfOB21O1EOyIIwL/u8Gcm6JrMAE=
@size 464
@ts 1665378358
lib/python3.9/site-packages/z3/z3types.py
@sha MMvQND6BU40ln2qCnel45/GWYvxCwHjki49hHzVY8dA=
@size 4723
@ts 1665378358
lib/python3.9/site-packages/z3/z3util.py
@sha qqIjGyHR26pAvdA6Lfb3Ry136Uv6cjaIGEo0YeMZ50c=
@size 11388
@ts 1665378358
