@comment $OpenBSD: PLIST,v 1.1.1.1 2017/02/12 21:48:19 rpointel Exp $
@name z3-4.5.0p0
@comment pkgpath=math/z3 cdrom=yes ftp=yes
@arch powerpc,macppc
+DESC
@sha j5etXnVXQnz/WbzIA4gEzcy6sRPhd2jT2vEqQhhHE3Y=
@size 142
@depend lang/python/2.7,-main:python->=2.7,<2.8:python-2.7.14p1
@wantlib c.92.3
@wantlib m.10.1
@wantlib pthread.25.1
@wantlib stdc++.57.0
@cwd /usr/local
@bin bin/z3
@sha ohHAJG2d17ycg+geie0Sc92XWroWQcZDQP4lKZuNuKE=
@size 26024237
@ts 1522970122
include/z3++.h
@sha hIochcws2tjnIoXuUuIMA7MtZoyfaz5iv2UXdzf9oxA=
@size 111447
@ts 1522970125
include/z3.h
@sha GPxaYmtDZYbVRV4ZunUPjBaGWcyHpsJnrIi0e2njTlk=
@size 485
@ts 1522970120
include/z3_algebraic.h
@sha eCDCK0Fr6rSE33qgQmvGQYQqNorRvx/yXreJF2ASSDs=
@size 6723
@ts 1522970120
include/z3_api.h
@sha oaThiOy0OPWvFFZA8UjT8YmKDvpghrlBjdZ6xJT6e9A=
@size 213093
@ts 1522970120
include/z3_ast_containers.h
@sha bv/9CtufOUv7J7Nz7jx/Iju3ieV98EmmPzMTi2SZ3nY=
@size 5783
@ts 1522970120
include/z3_fixedpoint.h
@sha gSeNP0KMrck5e6qrR+VMmZggPF2E1+biaSNebGM5Gs0=
@size 13684
@ts 1522970120
include/z3_fpa.h
@sha EmSY5UvV7EzH+v2Ht7x1nfxkvrgd0hwocFaI03m2hNI=
@size 30530
@ts 1522970120
include/z3_interp.h
@sha CVBWCbV8CqqJjP0HxtfJPXIwK3nvzQuNg+unzJtbslw=
@size 11864
@ts 1522970120
include/z3_macros.h
@sha N1U5yoFJd7gm69eIkT7rZGW23YwDEcs3TQDjWK7ZovU=
@size 382
@ts 1522970120
include/z3_optimization.h
@sha nsu9cFqWHtiIioDRF7iKkbG/gl+3QOPi2cNI1Cg4RaY=
@size 8704
@ts 1522970120
include/z3_polynomial.h
@sha FF9A0qmTr944b4xVZ3bho00xWNr6mxfH1TN7piy4asE=
@size 1080
@ts 1522970120
include/z3_rcf.h
@sha yafKd6x0L2jJk12Twso6Eo/1bTXcErtLCWk8QrFe7xk=
@size 5900
@ts 1522970120
include/z3_v1.h
@sha RySEZObxeBtPvOs+O9gdP4F7Jn93KiJuDpGK21xiUU0=
@size 2243
@ts 1522970120
lib/libz3.so
@sha yiQ4mwosn2Fs18Ru/BYTJaoNxDk0vIT77ZC8Rci0Wx8=
@size 28841577
@ts 1522970124
lib/python2.7/site-packages/z3/
lib/python2.7/site-packages/z3/__init__.py
@sha U8RSmgHzjnwNWTt1SMeeDXOYqgn318vRdzRwhZ7i/r0=
@size 210
@ts 1522970125
lib/python2.7/site-packages/z3/__init__.pyc
@sha 8eRwfdPf1grvJxGb39RFDfnR13tblqJncrp+nW6Fc98=
@size 470
@ts 1522970125
lib/python2.7/site-packages/z3/lib/
lib/python2.7/site-packages/z3/lib/libz3.so
@symlink ../../../../libz3.so
lib/python2.7/site-packages/z3/z3.py
@sha auADB+UZoyG1JUwvU3fCQlN3S6XFnuAsv2PKSYXOT4g=
@size 284823
@ts 1522970125
lib/python2.7/site-packages/z3/z3.pyc
@sha wgUaeqtxNqxfFYNUdd7HfoHsEJKoRQqRBN8H0iOyUWg=
@size 336976
@ts 1522970125
lib/python2.7/site-packages/z3/z3consts.py
@sha H/OBMxau7xF+kslI/0+Pm5GvlhGixtKGlqS5ipqHmBU=
@size 6680
@ts 1522970125
lib/python2.7/site-packages/z3/z3consts.pyc
@sha qp4lS9izrJmpkHFl7fOFe1395SdtC9Y2ThUMGZGiHLs=
@size 9446
@ts 1522970125
lib/python2.7/site-packages/z3/z3core.py
@sha dw2N2risNWyehumHEx7oR22FEkd2S8NrefYnBgKR5/E=
@size 191209
@ts 1522970125
lib/python2.7/site-packages/z3/z3core.pyc
@sha /NRX5E72MB5SRu2+jIF9voyr+JcA25WsXZqn40drvZk=
@size 202743
@ts 1522970125
lib/python2.7/site-packages/z3/z3num.py
@sha JI8mj3U1ki4vMphcYBxunAHPz+k0oUSTTWYYDXdpXp8=
@size 16249
@ts 1522970125
lib/python2.7/site-packages/z3/z3num.pyc
@sha Cm3QxhxRiAI1jMDDu6ydRINZWHSDjdSgnWw9dFz73OY=
@size 19823
@ts 1522970125
lib/python2.7/site-packages/z3/z3poly.py
@sha 3NDFMDRDhLDrcAmsmUkdoxbT6NVtkiCj02TCrpU+wq4=
@size 1124
@ts 1522970125
lib/python2.7/site-packages/z3/z3poly.pyc
@sha xe+sP+6751rFHAGaFHuNt81nVsBLEfwkck8afUoXCC0=
@size 1209
@ts 1522970125
lib/python2.7/site-packages/z3/z3printer.py
@sha 23VEkjEYP7hJ0R36iwFDO1Rpv62eQqX5EVLYOJELSfU=
@size 42104
@ts 1522970125
lib/python2.7/site-packages/z3/z3printer.pyc
@sha Za4iLDkKZdHotF80dj37bi0D+AGCYKlLdDsN9G3D2Xo=
@size 48617
@ts 1522970125
lib/python2.7/site-packages/z3/z3rcf.py
@sha jxAdEW6oWqquXwHZrzILXpt9Wl5GZH+0AtqUfiJ74J0=
@size 5099
@ts 1522970125
lib/python2.7/site-packages/z3/z3rcf.pyc
@sha IT/kzGOH8jocTSJGfBSyANYcYnoT5rtIy61NN/UvEys=
@size 7800
@ts 1522970125
lib/python2.7/site-packages/z3/z3types.py
@sha B//y0/RCs87PFhk7lUCgrpqOLyWnP1tVacVctS/cbWk=
@size 3822
@ts 1522970125
lib/python2.7/site-packages/z3/z3types.pyc
@sha /RQDJ1qcIlfmMRikCB+iBAdNgx+mq0fNoPOte/HLoTg=
@size 12097
@ts 1522970125
lib/python2.7/site-packages/z3/z3util.py
@sha mdVx9ou+GYu5p4zkz1FOmXipU/izOhnKzpJdVuHNEtY=
@size 11426
@ts 1522970125
lib/python2.7/site-packages/z3/z3util.pyc
@sha 7cMfZiwJj/ddrt32c+FpS5CCrrgDnEX4ZMiQu8Ez6ac=
@size 12502
@ts 1522970125
