@comment $OpenBSD: PLIST,v 1.3 2018/09/15 13:27:29 rsadowski Exp $
@name z3-4.7.1p0
@version 2
@comment pkgpath=math/z3 cdrom=yes ftp=yes
@arch aarch64,arm64
+DESC
@sha j5etXnVXQnz/WbzIA4gEzcy6sRPhd2jT2vEqQhhHE3Y=
@size 142
@depend lang/python/2.7,-main:python->=2.7,<2.8:python-2.7.15p0
@wantlib c++.2.0
@wantlib c++abi.0.1
@wantlib c.92.5
@wantlib m.10.1
@wantlib pthread.25.1
@cwd /usr/local
@bin bin/z3
@sha nIYSLjodbkXyuU7Bw5qyErwneqDLbgwh45Pwo3VenaI=
@size 26255672
@ts 1539408402
include/z3++.h
@sha aMVJuWRgpo2Lu2MhXzoJCfpl9RMx1l+AHBIc/TulQz8=
@size 131250
@ts 1539408402
include/z3.h
@sha ibBKxFJVh4RbYpFK0hkSuAvo2xMhZf/lDc0r8W7uy4o=
@size 559
@ts 1539408401
include/z3_algebraic.h
@sha ZKd4XuJXhDevt39rDySux7rHxR7GzN61tUhgw8uJjZo=
@size 6725
@ts 1539408401
include/z3_api.h
@sha AHxJ76+uZO9FLUbQX9iJ+RVZwKscKnOVRlOfIsBZzz4=
@size 219621
@ts 1539408401
include/z3_ast_containers.h
@sha LF93sa3ktVhmpBU47BnYFl242+wVj+ElHvll89bJaOY=
@size 5784
@ts 1539408401
include/z3_fixedpoint.h
@sha XlFdcO3YDWS+ntHOIKSBfFu9upzWNnYBJ/UidlyD2fE=
@size 13683
@ts 1539408401
include/z3_fpa.h
@sha hdSWWW7HsT65oPKSbVLNYDHiSSM3LK58nx4xgVoEKi8=
@size 34452
@ts 1539408401
include/z3_interp.h
@sha Bh+BgLbRVyl2ATFw1ip2y2mINq4bPs5dlMPcICQToAU=
@size 11864
@ts 1539408401
include/z3_macros.h
@sha N1U5yoFJd7gm69eIkT7rZGW23YwDEcs3TQDjWK7ZovU=
@size 382
@ts 1539408401
include/z3_optimization.h
@sha euJpBrwbcBKHT583vRUwWeom31KpmTrk+EHE00WLivo=
@size 9823
@ts 1539408401
include/z3_polynomial.h
@sha FF9A0qmTr944b4xVZ3bho00xWNr6mxfH1TN7piy4asE=
@size 1080
@ts 1539408401
include/z3_rcf.h
@sha yafKd6x0L2jJk12Twso6Eo/1bTXcErtLCWk8QrFe7xk=
@size 5900
@ts 1539408401
include/z3_spacer.h
@sha /io9nPTowVyuVx2Af+xw1+ULreb2+rTKKR+lWPSJUZ4=
@size 3918
@ts 1539408401
include/z3_v1.h
@sha ETRabGkkaGei//40aAK9hgtbs7cGqEpKR/M+v+yCt5g=
@size 2248
@ts 1539408401
@lib lib/libz3.so.0.0
@sha pcFFd6LCSSq5VaNJJQGhZWX8ammza5KUpDimFlCWVqw=
@size 25911936
@ts 1539408402
lib/python2.7/site-packages/z3/
lib/python2.7/site-packages/z3/__init__.py
@sha U8RSmgHzjnwNWTt1SMeeDXOYqgn318vRdzRwhZ7i/r0=
@size 210
@ts 1539408402
lib/python2.7/site-packages/z3/__init__.pyc
@sha BNFWky2pirAqMm08n1CtJvAZBkFFfVXDfBhrE6adsFk=
@size 470
@ts 1539408402
lib/python2.7/site-packages/z3/lib/
@lib lib/python2.7/site-packages/z3/lib/libz3.so.0.0
@symlink ../../../../libz3.so.0.0
lib/python2.7/site-packages/z3/z3.py
@sha TSZWd8OZHOPcozGbTq7o9drWB8yA7b/MRR2NWZbkIMY=
@size 299958
@ts 1539408402
lib/python2.7/site-packages/z3/z3.pyc
@sha fNf0hIbRsOMypcwoTuiKgZ4Gx6ZKBGEmkEe4W8mmI3U=
@size 356303
@ts 1539408402
lib/python2.7/site-packages/z3/z3consts.py
@sha AXLEHW3o1hyMf9XMKmmGMkV9eT/lb60egrKI29x/1YE=
@size 6830
@ts 1539408402
lib/python2.7/site-packages/z3/z3consts.pyc
@sha faY4r+jwBMcg3XELph9f7hzJB6LoBBPh2e8oUJpdchA=
@size 9668
@ts 1539408402
lib/python2.7/site-packages/z3/z3core.py
@sha gm0yQIcBCf6J0M0vPwm+VOpei7eRx0YzC1L+a6Rnjew=
@size 163454
@ts 1539408402
lib/python2.7/site-packages/z3/z3core.pyc
@sha A3uQkljWAJh6bWo4p/62bfZpAp0TQyDlLzC/lAu4Xog=
@size 173225
@ts 1539408402
lib/python2.7/site-packages/z3/z3num.py
@sha JI8mj3U1ki4vMphcYBxunAHPz+k0oUSTTWYYDXdpXp8=
@size 16249
@ts 1539408402
lib/python2.7/site-packages/z3/z3num.pyc
@sha Ycx+hRCrrJsYm53s1nZwkLpcE7qBhHtfX292E1XtCFs=
@size 19823
@ts 1539408402
lib/python2.7/site-packages/z3/z3poly.py
@sha 3NDFMDRDhLDrcAmsmUkdoxbT6NVtkiCj02TCrpU+wq4=
@size 1124
@ts 1539408402
lib/python2.7/site-packages/z3/z3poly.pyc
@sha 2sIeNGvpx1Ec1zxMFrgONdDxQFCKmPlf3bk3Vs3HbtQ=
@size 1209
@ts 1539408402
lib/python2.7/site-packages/z3/z3printer.py
@sha 0u/T1KYyIQa2cWE4FVaScbJSXZj9ZAUe09oUqm6chyI=
@size 42824
@ts 1539408402
lib/python2.7/site-packages/z3/z3printer.pyc
@sha RJ1JIsfBRV8pR9x89ByvzmqIW52ZozE8f7EpxWRd3ag=
@size 49521
@ts 1539408402
lib/python2.7/site-packages/z3/z3rcf.py
@sha jxAdEW6oWqquXwHZrzILXpt9Wl5GZH+0AtqUfiJ74J0=
@size 5099
@ts 1539408402
lib/python2.7/site-packages/z3/z3rcf.pyc
@sha ymMzwmgfrhLjOXl3xFMfh+afQPZPf43pWoHe/2/yzlo=
@size 7800
@ts 1539408402
lib/python2.7/site-packages/z3/z3types.py
@sha B//y0/RCs87PFhk7lUCgrpqOLyWnP1tVacVctS/cbWk=
@size 3822
@ts 1539408402
lib/python2.7/site-packages/z3/z3types.pyc
@sha 3i357e/nKi5hRYldOoiyQ18qppq/FOj2QpAZI2dojFo=
@size 12097
@ts 1539408402
lib/python2.7/site-packages/z3/z3util.py
@sha mdVx9ou+GYu5p4zkz1FOmXipU/izOhnKzpJdVuHNEtY=
@size 11426
@ts 1539408402
lib/python2.7/site-packages/z3/z3util.pyc
@sha 8bfbHpuya2LniMtXQLsIBvWHTk612uHFFa97BcnmfDQ=
@size 12502
@ts 1539408402
