@name z3-4.12.2p0
@version 8
@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.13p0
@wantlib c++.10.0
@wantlib c++abi.7.0
@wantlib c.99.0
@wantlib m.10.1
@wantlib pthread.27.1
@cwd /usr/local
@bin bin/z3
@sha Crl5Q3KCHhypoV+6FsPdT2qCf6Pchxajh+xo6/MSe9Q=
@size 42347440
@ts 1711559822
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 1711515178
lib/cmake/
lib/cmake/z3/
lib/cmake/z3/Z3Config.cmake
@sha +CBUbYFZa2Bs7MN3npHOTJDJOBIwwy1Z+6VsUiJNF9E=
@size 2335
@ts 1711515182
lib/cmake/z3/Z3ConfigVersion.cmake
@sha GiOt77cI4mmNGOUOA4ksJDKHmn6Rkdre5SmjGHzOCjA=
@size 2771
@ts 1711515182
lib/cmake/z3/Z3Targets-release.cmake
@sha L3o8Q3gKj6CxyVYSrIKaghN2FFuERMm3hMPxo8zGphs=
@size 811
@ts 1711515191
lib/cmake/z3/Z3Targets.cmake
@sha JFNQt5W2U4khGW7tsHKD2vufQJ7YonAimXE75Ps0Vlk=
@size 3874
@ts 1711515191
@lib lib/libz3.so.4.0
@sha K3TkseX2olfXqa5n0TN6gcbMZfDeAQV9laf7hJQDxI4=
@size 42210581
@ts 1711559245
lib/pkgconfig/z3.pc
@sha DVcv4te8couRm1G3t7RcB8wUNu0wftxfK/AZ3znRv6A=
@size 267
@ts 1711515182
lib/python3.10/site-packages/z3/
lib/python3.10/site-packages/z3/__init__.py
@sha U8RSmgHzjnwNWTt1SMeeDXOYqgn318vRdzRwhZ7i/r0=
@size 210
@ts 1711559905
lib/python3.10/site-packages/z3/z3.py
@sha zKgHSNklJQdRpR9+WSYnn9GAxdOfEStIZ7n6w+4UXu4=
@size 336451
@ts 1711559906
lib/python3.10/site-packages/z3/z3consts.py
@sha xcrrb+/Hmu86BR+4y/VoYlxtc1SqAQ2I/Q+y/v3ioLk=
@size 7867
@ts 1711559907
lib/python3.10/site-packages/z3/z3core.py
@sha D1Z0Yf3jMN/fPZhtc7mZ7azrxJjYELzlTDyYJrQL5QM=
@size 193001
@ts 1711559911
lib/python3.10/site-packages/z3/z3num.py
@sha 1618zrVghn9V3L2HxYZuHDZf3eyS+qIjIb+RtgxDHe4=
@size 16090
@ts 1711559912
lib/python3.10/site-packages/z3/z3poly.py
@sha /QYClBjliZswD+OzowDREMjhdOYzy6i3UTFPIqWDOU4=
@size 1113
@ts 1711559912
lib/python3.10/site-packages/z3/z3printer.py
@sha tIBvuRrj0iCVroigNgsw0NnI3K4OcLAj7xt+W+e1pu4=
@size 45224
@ts 1711559913
lib/python3.10/site-packages/z3/z3rcf.py
@sha UE4DObG7BgdcGcpS5RRXcWZxIYovIZHQyXVOC3W+3oc=
@size 5039
@ts 1711559913
lib/python3.10/site-packages/z3/z3test.py
@sha ZQT50MPz7JDsRowPDfOB21O1EOyIIwL/u8Gcm6JrMAE=
@size 464
@ts 1711559915
lib/python3.10/site-packages/z3/z3types.py
@sha unKDVLSp7kC8+9iZ9AXZBLxLsCPkGAcETAbDGFSMMIA=
@size 4883
@ts 1711559914
lib/python3.10/site-packages/z3/z3util.py
@sha qqIjGyHR26pAvdA6Lfb3Ry136Uv6cjaIGEo0YeMZ50c=
@size 11388
@ts 1711559914
