@comment $OpenBSD: PLIST,v 1.5 2019/03/03 09:16:17 rsadowski Exp $
@name z3-4.8.4p0
@comment pkgpath=math/z3 cdrom=yes ftp=yes
@arch sparc64
+DESC
@sha 9cwE2y58oWmdnS8om4nmcgGBzAqKPbwxqpptNIs7kMw=
@size 142
@depend lang/gcc/4.9,-libs:gcc-libs->=4.9,<4.10:gcc-libs-4.9.4p18
@depend lang/python/3.6,-main:python->=3.6,<3.7:python-3.6.8p0
@wantlib c.95.0
@wantlib estdc++.17.1
@wantlib m.10.1
@wantlib pthread.26.1
@cwd /usr/local
@bin bin/z3
@sha KV5cN4xc5qpBAVw5nzcxrNpKU6BSjFM+sUCxpd3/eG8=
@size 25729101
@ts 1556038142
include/z3++.h
@sha nsGBCG6zPI4fIw1iEzC7VL+DcrO7BiFKl/nl4T4u6I8=
@size 145422
@ts 1545330756
include/z3.h
@sha XFOtoTAJWGwocO0iPgWsBlNtxRPv3IRppk8wNGAEsQc=
@size 536
@ts 1545330756
include/z3_algebraic.h
@sha hz/8LS7T0IVPvLpIu6M1DwF86W0QLVdWTvaJ8XUnKNA=
@size 6683
@ts 1545330756
include/z3_api.h
@sha uqpmyhDT+EOrg7XE97VTO8NttH3lXbJ5YwUE/BalILI=
@size 227500
@ts 1545330756
include/z3_ast_containers.h
@sha pL0MxToUPLnWme9d5S8+VXr2sDWyjkjiJn402vwwt70=
@size 5781
@ts 1545330756
include/z3_fixedpoint.h
@sha LmEr+tBo29MqwmxdRgpQ+o6vMNBnskyqxQmNaM9pIpw=
@size 14873
@ts 1545330756
include/z3_fpa.h
@sha QvRUirQXlLQHQCA2xlxJstF5tCqeXXLMqZldU2MWXPM=
@size 34772
@ts 1545330756
include/z3_macros.h
@sha NK8CPE4ohNDaNDG+RH8HP8y7VL7y4bEsaTkQP0WRetc=
@size 315
@ts 1545330756
include/z3_optimization.h
@sha ANyH0UrmLfNEEVHkmqHMP1QCCcCELxA34aAAYxtGQSQ=
@size 11549
@ts 1545330756
include/z3_polynomial.h
@sha gjURP5uu8V/VBe0mmzIHNNswx+Qd9h7RtsRjwyblC3c=
@size 1096
@ts 1545330756
include/z3_rcf.h
@sha 200y/+o3ByrsjB7l+wFXfPJwTBCNI2qXTtJBThLH8nI=
@size 6002
@ts 1545330756
include/z3_spacer.h
@sha w9cMd95fC8UfOIIAZBP/c7elKBEYhr81QydJ79jy+mI=
@size 3931
@ts 1545330756
include/z3_v1.h
@sha ETRabGkkaGei//40aAK9hgtbs7cGqEpKR/M+v+yCt5g=
@size 2248
@ts 1545330756
include/z3_version.h
@sha Tlzfe0OAKujitXUlXWTRgQKPJ0AE6nk02i56HrJo+oc=
@size 210
@ts 1556026823
lib/cmake/
lib/cmake/z3/
lib/cmake/z3/Z3Config.cmake
@sha 7zu0YfJk/uFwNB0+cH3ZCNamGhDO2gZ4AFiib5tdimc=
@size 2061
@ts 1556026827
lib/cmake/z3/Z3Targets-release.cmake
@sha qbdXSC4zXocZe3k8htYXo6vxuPcpP0LWPfjdpEPlWzY=
@size 794
@ts 1556026831
lib/cmake/z3/Z3Targets.cmake
@sha d8UP10Dqk6QgoHujL/1gaTxsclw7sC8uFvBdITAEdVo=
@size 3121
@ts 1556026831
@lib lib/libz3.so.1.0
@sha HSNrBwGfJxcjs+/dyBrSwL+kMqt/QJ8/u9+m26Oewpo=
@size 25608577
@ts 1556038100
lib/python3.6/site-packages/z3/
lib/python3.6/site-packages/z3/__init__.py
@sha U8RSmgHzjnwNWTt1SMeeDXOYqgn318vRdzRwhZ7i/r0=
@size 210
@ts 1556038115
lib/python3.6/site-packages/z3/z3.py
@sha QqYS1KCc36GReSWWryg9ihVAzxTscUKyEbexaAZ51H8=
@size 304055
@ts 1556038111
lib/python3.6/site-packages/z3/z3consts.py
@sha xN20l/coDSiq5z1APRMpgPxULP5yLo0xD+oPYMQb8vw=
@size 6832
@ts 1556038114
lib/python3.6/site-packages/z3/z3core.py
@sha bvLt+3yxHalwvzTGsKxqZq9fD3xqSOYzM9KXfQT6Yfk=
@size 164059
@ts 1556038113
lib/python3.6/site-packages/z3/z3num.py
@sha JI8mj3U1ki4vMphcYBxunAHPz+k0oUSTTWYYDXdpXp8=
@size 16249
@ts 1556038111
lib/python3.6/site-packages/z3/z3poly.py
@sha 3NDFMDRDhLDrcAmsmUkdoxbT6NVtkiCj02TCrpU+wq4=
@size 1124
@ts 1556038111
lib/python3.6/site-packages/z3/z3printer.py
@sha 8OUxUqkAvj6/jxtEwOXIlQj7m/SVIyepSNMC1Vb0FM8=
@size 42882
@ts 1556038115
lib/python3.6/site-packages/z3/z3rcf.py
@sha jxAdEW6oWqquXwHZrzILXpt9Wl5GZH+0AtqUfiJ74J0=
@size 5099
@ts 1556038111
lib/python3.6/site-packages/z3/z3test.py
@sha ZQT50MPz7JDsRowPDfOB21O1EOyIIwL/u8Gcm6JrMAE=
@size 464
@ts 1556038114
lib/python3.6/site-packages/z3/z3types.py
@sha B//y0/RCs87PFhk7lUCgrpqOLyWnP1tVacVctS/cbWk=
@size 3822
@ts 1556038111
lib/python3.6/site-packages/z3/z3util.py
@sha 0Ia1YETNS0ZKYdouIQLLb2eMZMHE7DtZ16IMisTkTjA=
@size 11428
@ts 1556038115
