@name z3-4.15.2
@version 10
@comment pkgpath=math/z3 ftp=yes
@arch powerpc,macppc
+DESC
@sha MCDzQhaGHKQmVVUxQzucEAPD89zBgrQuVpHp4SztHkQ=
@size 129
@conflict py3-z3-solver-*
@wantlib c++.11.0
@wantlib c++abi.8.0
@wantlib c.101.0
@wantlib m.10.1
@wantlib pthread.28.0
@cwd /usr/local
@bin bin/z3
@sha xVoi0H8LXagN+gjAoNTyXQq8V3gHTKOxdZ4xWqDZMY4=
@size 35778816
@ts 1756040987
include/z3++.h
@sha NEBRjrZt3lWpxy1OPrZ2BmfxbQXKi4rKYstVnuR+xPc=
@size 195613
@ts 1750774729
include/z3.h
@sha YMwrs+HfLA/GEFtqc8AyudT0dIdHFhaZS6Y9+NgYmKg=
@size 495
@ts 1750774729
include/z3_algebraic.h
@sha dlnW3sJeSeLdZUamymwFrbJ0N6mJ2FevDLzHGRrbRaY=
@size 7193
@ts 1750774729
include/z3_api.h
@sha 2sSQJsP7cjoLEP56UayG1UfmzrtgiMY5R9wcYSAY4KY=
@size 270422
@ts 1750774729
include/z3_ast_containers.h
@sha Zofz7JSD83dLiVG+D5lEq0f2G+29Qhk9B13YjGEvskg=
@size 5735
@ts 1750774729
include/z3_fixedpoint.h
@sha zIpCQWPdapKhv+B96mjtuPyNq7WPYSsehaAzohF43tw=
@size 14123
@ts 1750774729
include/z3_fpa.h
@sha 81d1RICjl4hlP5EGOvU/LgVLI4KoSGFxoKF6meE1SUc=
@size 43462
@ts 1750774729
include/z3_macros.h
@sha nZL4E2q+8Q3YQpoo/ZBo6bPk/rVpYHJ2PNjQ7cHwCyQ=
@size 389
@ts 1750774729
include/z3_optimization.h
@sha 1rhXwhGG8HENhymtO32bObqge1yBhV4QbTYZxkI/SMw=
@size 12936
@ts 1750774729
include/z3_polynomial.h
@sha 4YlMQO2zcRXPIhqO8vflVXxzYMPAWD8FWC+Enr3XjDY=
@size 1056
@ts 1750774729
include/z3_rcf.h
@sha XyIZFXVzBDM431KAiiWX9Sz5sXmqi4AGtIk1cQJ2Msc=
@size 9952
@ts 1750774729
include/z3_spacer.h
@sha 3SO+huT8dM0K32ypRINNFluT9qbzr4GSMRbbl6fuHd0=
@size 4459
@ts 1750774729
include/z3_v1.h
@sha MNF3ba/d1CbQakpzfVHTdzG0V5D8Jlc7NhVi43WOuwQ=
@size 2220
@ts 1750774729
include/z3_version.h
@sha f0A0YlUA1eMCIR6Q4EPVE4zJv8xQJViu2pLQv/r9eRM=
@size 212
@ts 1756010155
lib/cmake/
lib/cmake/z3/
lib/cmake/z3/Z3Config.cmake
@sha aaZRaFj7RWWpY5fOmF6QZXO/lWSfchdKOQUr8OkUX9w=
@size 2335
@ts 1756010160
lib/cmake/z3/Z3ConfigVersion.cmake
@sha WTWgndHys+5KEyscNniMoQL6PV5aptPCZ3Kgr/+5XKw=
@size 2771
@ts 1756010160
lib/cmake/z3/Z3Targets-release.cmake
@sha iVmJFMQg8TmwgJR5hyGBC/05K72LA4WwYhD97W+zkUM=
@size 814
@ts 1756010166
lib/cmake/z3/Z3Targets.cmake
@sha JDZJCtA6AXyt5va1Hkr/IeP9ErtmmeBIqfhjylj2I/Q=
@size 4092
@ts 1756010166
@lib lib/libz3.so.4.15
@sha quzDjfZ+e5glQvDoe/kr8HvcU2oZm8jlVvHEr/dk1g0=
@size 35815384
@ts 1756040731
lib/pkgconfig/z3.pc
@sha 21BeSAz6zPRwqFA+0X7TJzoueaQjQofpYfEzp5scyok=
@size 267
@ts 1756010160
lib/python3.12/
lib/python3.12/site-packages/
lib/python3.12/site-packages/z3/
lib/python3.12/site-packages/z3/__init__.py
@sha U8RSmgHzjnwNWTt1SMeeDXOYqgn318vRdzRwhZ7i/r0=
@size 210
@ts 1756040954
lib/python3.12/site-packages/z3/z3.py
@sha R+sSIs2wgb5Zr0bhowvrKFr1kRRe/4nYIKn6SG/tOW0=
@size 344662
@ts 1756040954
lib/python3.12/site-packages/z3/z3consts.py
@sha WXN6VWEum92zP37Eon25+8iAqSBT+oqIkZ/Mk04fdXM=
@size 8062
@ts 1756040956
lib/python3.12/site-packages/z3/z3core.py
@sha bu/aW2h42rLU3/Hi6HeE+rmBpBIerrfM6v2hUYjyPoI=
@size 202029
@ts 1756040960
lib/python3.12/site-packages/z3/z3num.py
@sha 1618zrVghn9V3L2HxYZuHDZf3eyS+qIjIb+RtgxDHe4=
@size 16090
@ts 1756040960
lib/python3.12/site-packages/z3/z3poly.py
@sha /QYClBjliZswD+OzowDREMjhdOYzy6i3UTFPIqWDOU4=
@size 1113
@ts 1756040961
lib/python3.12/site-packages/z3/z3printer.py
@sha cU+fo0odqSgb3BqY2OidZQ2spumc0YOdMlxNNgWplzA=
@size 46300
@ts 1756040961
lib/python3.12/site-packages/z3/z3rcf.py
@sha UE4DObG7BgdcGcpS5RRXcWZxIYovIZHQyXVOC3W+3oc=
@size 5039
@ts 1756040961
lib/python3.12/site-packages/z3/z3test.py
@sha ZQT50MPz7JDsRowPDfOB21O1EOyIIwL/u8Gcm6JrMAE=
@size 464
@ts 1756040962
lib/python3.12/site-packages/z3/z3types.py
@sha unKDVLSp7kC8+9iZ9AXZBLxLsCPkGAcETAbDGFSMMIA=
@size 4883
@ts 1756040961
lib/python3.12/site-packages/z3/z3util.py
@sha cIfxu7ARng6PVF1wy6miFEb/JnzaEonlWzwuTmRO/9k=
@size 11387
@ts 1756040961
