@name z3-4.15.8
@version 4
@comment pkgpath=math/z3 ftp=yes
@arch sparc64
+DESC
@sha MCDzQhaGHKQmVVUxQzucEAPD89zBgrQuVpHp4SztHkQ=
@size 129
@conflict py3-z3-solver-*
@depend lang/gcc/15,-libs:gcc-libs->=15,<16:gcc-libs-15.2.0p5
@wantlib c.102.2
@wantlib estdc++.21.0
@wantlib m.10.1
@wantlib pthread.28.1
@cwd /usr/local
@bin bin/z3
@sha xEnwTf8USR/h3eli59STnX2chLLvfxCT6HZw3Cb7Hgo=
@size 32631747
@ts 1771879123
include/z3++.h
@sha Wncpt1PA0wQAAmrhTGiANe7L7ITXZD4zvvgEQtvfWts=
@size 212208
@ts 1770925121
include/z3.h
@sha YMwrs+HfLA/GEFtqc8AyudT0dIdHFhaZS6Y9+NgYmKg=
@size 495
@ts 1770925121
include/z3_algebraic.h
@sha dlnW3sJeSeLdZUamymwFrbJ0N6mJ2FevDLzHGRrbRaY=
@size 7193
@ts 1770925121
include/z3_api.h
@sha gcVsXLjlaBdcyfc/45A1zf4T3r/TkawBn2i75mztS0U=
@size 273238
@ts 1770925121
include/z3_ast_containers.h
@sha Zofz7JSD83dLiVG+D5lEq0f2G+29Qhk9B13YjGEvskg=
@size 5735
@ts 1770925121
include/z3_fixedpoint.h
@sha zIpCQWPdapKhv+B96mjtuPyNq7WPYSsehaAzohF43tw=
@size 14123
@ts 1770925121
include/z3_fpa.h
@sha Xr4aYdEoxXn1O+Lx8rTUXna34ECB3omhFUJxnFl2OWw=
@size 43932
@ts 1770925121
include/z3_macros.h
@sha nZL4E2q+8Q3YQpoo/ZBo6bPk/rVpYHJ2PNjQ7cHwCyQ=
@size 389
@ts 1770925121
include/z3_optimization.h
@sha P32sG9Fpa//1Jm9CIXHhD65BPbewZVSeF5NNkhKsvMc=
@size 13798
@ts 1770925121
include/z3_polynomial.h
@sha 4YlMQO2zcRXPIhqO8vflVXxzYMPAWD8FWC+Enr3XjDY=
@size 1056
@ts 1770925121
include/z3_rcf.h
@sha DPHXfmfknfEt0gqsi/O/P0aXPr+CjKj30UIo1tLLhso=
@size 9960
@ts 1770925121
include/z3_spacer.h
@sha 3SO+huT8dM0K32ypRINNFluT9qbzr4GSMRbbl6fuHd0=
@size 4459
@ts 1770925121
include/z3_v1.h
@sha MNF3ba/d1CbQakpzfVHTdzG0V5D8Jlc7NhVi43WOuwQ=
@size 2220
@ts 1770925121
include/z3_version.h
@sha pfVXuDAndOz/wPR38UFR+CK6n/sSJEDZMIXJ2YSms38=
@size 212
@ts 1771871173
lib/cmake/
lib/cmake/z3/
lib/cmake/z3/Z3Config.cmake
@sha BFdbWUQIUwPf/AOxlBj5xQQUQZ3z1l4geXblTI0IPTc=
@size 2335
@ts 1771871176
lib/cmake/z3/Z3ConfigVersion.cmake
@sha ZyRgtGm+dXQrEvdvK3tJtRiF9bigett60jNSH2rYgbY=
@size 2771
@ts 1771871176
lib/cmake/z3/Z3Targets-release.cmake
@sha HLQ+D6xWW+dtueJs2ee3F3xxmBeRcaLj7jVHQQsktDw=
@size 814
@ts 1771871181
lib/cmake/z3/Z3Targets.cmake
@sha Nokqra+k4jDZpVTuRBXGPHCUJYjpssDr1eShkkXSTQI=
@size 4091
@ts 1771871181
@lib lib/libz3.so.4.16
@sha eiIhegxuy9AXLhQaMwHhyYzxDoBHGaF66kOtIr/wlPs=
@size 32555862
@ts 1771879115
lib/pkgconfig/z3.pc
@sha TFQ7WJsif+44ehIizUFfdKE5zLg6xxlSj2l5Mrj/ulc=
@size 267
@ts 1771871176
lib/python3.13/
lib/python3.13/site-packages/
lib/python3.13/site-packages/z3/
lib/python3.13/site-packages/z3/__init__.py
@sha U8RSmgHzjnwNWTt1SMeeDXOYqgn318vRdzRwhZ7i/r0=
@size 210
@ts 1771879117
lib/python3.13/site-packages/z3/z3.py
@sha Pe+Z2FhEfLUc574m/Bj4cTOza5yujM1+2YSzv6qY7/s=
@size 352356
@ts 1771879117
lib/python3.13/site-packages/z3/z3consts.py
@sha RGmhrKleQoL1+o+oEEGvVENHuqfyuJjgzd99EyihgaM=
@size 8016
@ts 1771879118
lib/python3.13/site-packages/z3/z3core.py
@sha LfQ5vbrmj+zu/pZ6x2URNAaaCQVrDGc5zUh1Z/UBnxo=
@size 203872
@ts 1771879120
lib/python3.13/site-packages/z3/z3num.py
@sha sJne4jUr5YHvlvvtwYOsMk8DAC7nz3H76/aqE1XNQ0E=
@size 16384
@ts 1771879117
lib/python3.13/site-packages/z3/z3poly.py
@sha /QYClBjliZswD+OzowDREMjhdOYzy6i3UTFPIqWDOU4=
@size 1113
@ts 1771879117
lib/python3.13/site-packages/z3/z3printer.py
@sha 5PLobkWofUDxHOB4zn1usns/dHvL30m5FzTmIjCLNKQ=
@size 46305
@ts 1771879117
lib/python3.13/site-packages/z3/z3rcf.py
@sha UE4DObG7BgdcGcpS5RRXcWZxIYovIZHQyXVOC3W+3oc=
@size 5039
@ts 1771879117
lib/python3.13/site-packages/z3/z3test.py
@sha ZQT50MPz7JDsRowPDfOB21O1EOyIIwL/u8Gcm6JrMAE=
@size 464
@ts 1771879117
lib/python3.13/site-packages/z3/z3types.py
@sha unKDVLSp7kC8+9iZ9AXZBLxLsCPkGAcETAbDGFSMMIA=
@size 4883
@ts 1771879117
lib/python3.13/site-packages/z3/z3util.py
@sha cIfxu7ARng6PVF1wy6miFEb/JnzaEonlWzwuTmRO/9k=
@size 11387
@ts 1771879117
