@comment $OpenBSD: PLIST,v 1.8 2020/09/18 07:52:58 jasper Exp $
@name z3-4.8.9
@version 4
@comment pkgpath=math/z3 ftp=yes
@arch powerpc,macppc
+DESC
@sha 9cwE2y58oWmdnS8om4nmcgGBzAqKPbwxqpptNIs7kMw=
@size 142
@conflict py3-z3-solver-*
@depend lang/python/3.8,-main:python->=3.8,<3.9:python-3.8.12
@wantlib c++.8.0
@wantlib c++abi.5.0
@wantlib c.96.1
@wantlib m.10.1
@wantlib pthread.26.1
@cwd /usr/local
@bin bin/z3
@sha HcnwDLdhUK8WHdylLVTPrgYrK6zTA2XJzwvDbzl3jyA=
@size 30681396
@ts 1633536699
include/z3++.h
@sha p7MNEtzASJ12/eEFsAC40Cup7PslM8mBmkbM7oZyu+k=
@size 163292
@ts 1599763888
include/z3.h
@sha DTKqKQ8FoAXv8F97r3jT7NSViyAcIU0ID9K+9TtScnI=
@size 514
@ts 1599763888
include/z3_algebraic.h
@sha oDtLiPBcaJ8tQ2Tm8YbU19I8pYSKlhWLoNQWmQAoWT4=
@size 7189
@ts 1599763888
include/z3_api.h
@sha 1JepXhwOrSTgD68dXhMIlThvMjLqG6rfLcc6JLNTPqw=
@size 241835
@ts 1599763888
include/z3_ast_containers.h
@sha /T7SeEseQfvor5BZkjbHrsSHIrCckWZAVpQPXum9FDw=
@size 5729
@ts 1599763888
include/z3_fixedpoint.h
@sha JlG7cNO1qxPQU7suyqPrOGeH+hyj7xNWv1IShKq8UcU=
@size 14115
@ts 1599763888
include/z3_fpa.h
@sha Pvn/LMw4DzMcgX8ey9eQO/2WqNyxi1bsmuPWWOn/Nu0=
@size 36000
@ts 1599763888
include/z3_macros.h
@sha NK8CPE4ohNDaNDG+RH8HP8y7VL7y4bEsaTkQP0WRetc=
@size 315
@ts 1599763888
include/z3_optimization.h
@sha R5Gizvcxad1LM8KspbxWBPA/7AbYljRkzUDeihhKOd4=
@size 11938
@ts 1599763888
include/z3_polynomial.h
@sha APlRYMgFrrM/roUCet0bcXo2l5Akidr3q/44u9D+/Bg=
@size 1052
@ts 1599763888
include/z3_rcf.h
@sha Gg6O6NApOn2h+r0tPixJfBavnGDknngvB6Qjt3khnzs=
@size 5972
@ts 1599763888
include/z3_spacer.h
@sha 4p/d1/Ug33u1nww+gS2TLBxnV85TkUTY0n7DA7IUUbs=
@size 3895
@ts 1599763888
include/z3_v1.h
@sha MNF3ba/d1CbQakpzfVHTdzG0V5D8Jlc7NhVi43WOuwQ=
@size 2220
@ts 1599763888
include/z3_version.h
@sha 4lyMHzFzZ31yW5I7nx+rHM3IqrRkwibTZ7DTatNS6oY=
@size 210
@ts 1633512524
lib/cmake/
lib/cmake/z3/
lib/cmake/z3/Z3Config.cmake
@sha f5Nqv5gOch3ETiFbK+1lUWlrLoPcRO6QVdwzXC6PyTU=
@size 2061
@ts 1633512534
lib/cmake/z3/Z3ConfigVersion.cmake
@sha q2qeO5ZWKx6VHtk1OHhRepr3ZtQ8J1VtUJonwUYzFk4=
@size 2748
@ts 1633512534
lib/cmake/z3/Z3Targets-release.cmake
@sha yyRq6F/tLdjWs3RauEJbNKPMFhWS08YoPGdwAj5ngrQ=
@size 799
@ts 1633512541
lib/cmake/z3/Z3Targets.cmake
@sha nUPfblrqUuTFFY20q6fY5Nfr0AAJVCFSnL6jZjLNmao=
@size 3234
@ts 1633512541
@lib lib/libz3.so.2.2
@sha CfOOnIYl3+23d26fgiTf1RdAPNzAF6Wc4qgGW4RFteM=
@size 30644736
@ts 1633536710
lib/pkgconfig/z3.pc
@sha Ur42CWeMBrSrRGY2cgqtutkg+6R7u+LdRd9uIMs9BxE=
@size 219
@ts 1633512534
lib/python3.8/site-packages/z3/
lib/python3.8/site-packages/z3/__init__.py
@sha U8RSmgHzjnwNWTt1SMeeDXOYqgn318vRdzRwhZ7i/r0=
@size 210
@ts 1633536711
lib/python3.8/site-packages/z3/z3.py
@sha YjouzW2BdUrCI7aVow+Vd8DVWMfkT4czDqoMwk+l+jQ=
@size 318125
@ts 1633536711
lib/python3.8/site-packages/z3/z3consts.py
@sha Q0YiKduLBkpGPb1DpkDcIr2n2lewl8ESMoKGqIeZq+M=
@size 7295
@ts 1633536712
lib/python3.8/site-packages/z3/z3core.py
@sha s3V524uKBYJITLHbocdGUQeaOBt/YY6V4B5uNSVLMAo=
@size 179870
@ts 1633536715
lib/python3.8/site-packages/z3/z3num.py
@sha JI8mj3U1ki4vMphcYBxunAHPz+k0oUSTTWYYDXdpXp8=
@size 16249
@ts 1633536712
lib/python3.8/site-packages/z3/z3poly.py
@sha 3NDFMDRDhLDrcAmsmUkdoxbT6NVtkiCj02TCrpU+wq4=
@size 1124
@ts 1633536713
lib/python3.8/site-packages/z3/z3printer.py
@sha iaTxXFhxrv0nv/my0mzN9U1TkUhqZWXAwBMDg7dqxEs=
@size 44684
@ts 1633536713
lib/python3.8/site-packages/z3/z3rcf.py
@sha vxKZzXPVdOvwIXYeRWiFjRgRQMUi/RrwBo30vBgQ7N4=
@size 5093
@ts 1633536713
lib/python3.8/site-packages/z3/z3test.py
@sha ZQT50MPz7JDsRowPDfOB21O1EOyIIwL/u8Gcm6JrMAE=
@size 464
@ts 1633536713
lib/python3.8/site-packages/z3/z3types.py
@sha XZyvq3yLn8XkLGYAISs3ImafSCy3kLEbHufM7Pi1OUs=
@size 3965
@ts 1633536713
lib/python3.8/site-packages/z3/z3util.py
@sha SJZDJevSi8e1pM6PEfTaF671YaMQm0kevtlCChT6RAw=
@size 11437
@ts 1633536713
