@comment $OpenBSD: PLIST,v 1.5 2019/03/03 09:16:17 rsadowski Exp $
@name z3-4.8.5p0
@version 1
@comment pkgpath=math/z3 ftp=yes
@arch mips64el,loongson
+DESC
@sha 9cwE2y58oWmdnS8om4nmcgGBzAqKPbwxqpptNIs7kMw=
@size 142
@depend lang/gcc/8,-libs:gcc-libs->=8,<9:gcc-libs-8.3.0p4
@depend lang/python/3.7,-main:python->=3.7,<3.8:python-3.7.4
@wantlib c.95.1
@wantlib estdc++.19.0
@wantlib m.10.1
@wantlib pthread.26.1
@cwd /usr/local
@bin bin/z3
@sha DkVsD+tfr4rLikOiS/mJX0sPYgUCDg1gmWJYLWB/+yI=
@size 30385056
@ts 1572096600
include/z3++.h
@sha 1quOtFQ6ojI8TuMD7ysLbnMobjdblVseIQWtH6/vxsk=
@size 149777
@ts 1559313971
include/z3.h
@sha XFOtoTAJWGwocO0iPgWsBlNtxRPv3IRppk8wNGAEsQc=
@size 536
@ts 1559313971
include/z3_algebraic.h
@sha hz/8LS7T0IVPvLpIu6M1DwF86W0QLVdWTvaJ8XUnKNA=
@size 6683
@ts 1559313971
include/z3_api.h
@sha 2ju9jMXap0QhG4Gcycqy/ehuMctHsOk1IOpxTXf9X34=
@size 233312
@ts 1559313971
include/z3_ast_containers.h
@sha pL0MxToUPLnWme9d5S8+VXr2sDWyjkjiJn402vwwt70=
@size 5781
@ts 1559313971
include/z3_fixedpoint.h
@sha DmUHh+tnSWRTEuJmg3VpuogFEbIn0xmhryrZw+Y8mME=
@size 14159
@ts 1559313971
include/z3_fpa.h
@sha QvRUirQXlLQHQCA2xlxJstF5tCqeXXLMqZldU2MWXPM=
@size 34772
@ts 1559313971
include/z3_macros.h
@sha NK8CPE4ohNDaNDG+RH8HP8y7VL7y4bEsaTkQP0WRetc=
@size 315
@ts 1559313971
include/z3_optimization.h
@sha /aHZTeGw4syJiSjL048aLEU2gp/66jXzKIog7dzPGmk=
@size 11946
@ts 1559313971
include/z3_polynomial.h
@sha gjURP5uu8V/VBe0mmzIHNNswx+Qd9h7RtsRjwyblC3c=
@size 1096
@ts 1559313971
include/z3_rcf.h
@sha 200y/+o3ByrsjB7l+wFXfPJwTBCNI2qXTtJBThLH8nI=
@size 6002
@ts 1559313971
include/z3_spacer.h
@sha w9cMd95fC8UfOIIAZBP/c7elKBEYhr81QydJ79jy+mI=
@size 3931
@ts 1559313971
include/z3_v1.h
@sha ETRabGkkaGei//40aAK9hgtbs7cGqEpKR/M+v+yCt5g=
@size 2248
@ts 1559313971
include/z3_version.h
@sha 1pCVzemmiXsgtl53FBIL+wGzayQhkbpOb7cCe9+4+kQ=
@size 210
@ts 1572045592
lib/cmake/
lib/cmake/z3/
lib/cmake/z3/Z3Config.cmake
@sha VmtxHpIKFRKFvM0bCSnL6PmpKVtQspFVCvceMf5AZq8=
@size 2061
@ts 1572045604
lib/cmake/z3/Z3Targets-release.cmake
@sha roivk9A8qhdKd1Jdl/wIxYDVviYXNk7rNbRaObFB+8I=
@size 799
@ts 1572045615
lib/cmake/z3/Z3Targets.cmake
@sha d8UP10Dqk6QgoHujL/1gaTxsclw7sC8uFvBdITAEdVo=
@size 3121
@ts 1572045615
@lib lib/libz3.so.2.0
@sha ff+aEAh+7LhWacX68qX6/yoqaqV39HPxFBfN9i1JRYY=
@size 30235900
@ts 1572096713
lib/python3.7/site-packages/z3/
lib/python3.7/site-packages/z3/__init__.py
@sha U8RSmgHzjnwNWTt1SMeeDXOYqgn318vRdzRwhZ7i/r0=
@size 210
@ts 1572096743
lib/python3.7/site-packages/z3/z3.py
@sha 3Ti8PDZDeuF3XSgjKjoyBLuDMhg+OhN6Wyg1rp7msZo=
@size 308937
@ts 1572096744
lib/python3.7/site-packages/z3/z3consts.py
@sha i+hQIhMJ+RhTRbgPBWK2/ERe5wX9ckxLUK8fwEuNc34=
@size 7249
@ts 1572096759
lib/python3.7/site-packages/z3/z3core.py
@sha 8PqCmuvPOY6JCn1pxri/gdgJMR9U9SAf8bmiVDHjVMQ=
@size 174463
@ts 1572096754
lib/python3.7/site-packages/z3/z3num.py
@sha JI8mj3U1ki4vMphcYBxunAHPz+k0oUSTTWYYDXdpXp8=
@size 16249
@ts 1572096756
lib/python3.7/site-packages/z3/z3poly.py
@sha 3NDFMDRDhLDrcAmsmUkdoxbT6NVtkiCj02TCrpU+wq4=
@size 1124
@ts 1572096744
lib/python3.7/site-packages/z3/z3printer.py
@sha PqcWn95b0gc+qBFs0LdtapCnJ6sNHGfllyvQ1eo45gg=
@size 44686
@ts 1572096755
lib/python3.7/site-packages/z3/z3rcf.py
@sha jxAdEW6oWqquXwHZrzILXpt9Wl5GZH+0AtqUfiJ74J0=
@size 5099
@ts 1572096745
lib/python3.7/site-packages/z3/z3test.py
@sha ZQT50MPz7JDsRowPDfOB21O1EOyIIwL/u8Gcm6JrMAE=
@size 464
@ts 1572096743
lib/python3.7/site-packages/z3/z3types.py
@sha B//y0/RCs87PFhk7lUCgrpqOLyWnP1tVacVctS/cbWk=
@size 3822
@ts 1572096757
lib/python3.7/site-packages/z3/z3util.py
@sha SJZDJevSi8e1pM6PEfTaF671YaMQm0kevtlCChT6RAw=
@size 11437
@ts 1572096756
