@comment $OpenBSD: PLIST,v 1.7 2020/03/22 16:01:43 kn Exp $
@name z3-4.8.6p0
@version 5
@comment pkgpath=math/z3 ftp=yes
@arch aarch64,arm64
+DESC
@sha 9cwE2y58oWmdnS8om4nmcgGBzAqKPbwxqpptNIs7kMw=
@size 142
@conflict py3-z3-solver-*
@depend lang/python/3.7,-main:python->=3.7,<3.8:python-3.7.7
@wantlib c++.4.0
@wantlib c++abi.2.1
@wantlib c.96.0
@wantlib m.10.1
@wantlib pthread.26.1
@cwd /usr/local
@bin bin/z3
@sha 5CpVbm2hriPne4+OA3Bl408EgTt8jf1Eh7JOZBphxcs=
@size 23946216
@ts 1589128832
include/z3++.h
@sha 0kNofJP59UpqoTKe0KEFksxRvc2T9eclYC1CHh2uUqw=
@size 150121
@ts 1568936586
include/z3.h
@sha XFOtoTAJWGwocO0iPgWsBlNtxRPv3IRppk8wNGAEsQc=
@size 536
@ts 1568936586
include/z3_algebraic.h
@sha hz/8LS7T0IVPvLpIu6M1DwF86W0QLVdWTvaJ8XUnKNA=
@size 6683
@ts 1568936586
include/z3_api.h
@sha lPz6Xr1j5pLcpfINHfLAYcF162Bu53JSHA5A8nfz1NE=
@size 235739
@ts 1568936586
include/z3_ast_containers.h
@sha pL0MxToUPLnWme9d5S8+VXr2sDWyjkjiJn402vwwt70=
@size 5781
@ts 1568936586
include/z3_fixedpoint.h
@sha DmUHh+tnSWRTEuJmg3VpuogFEbIn0xmhryrZw+Y8mME=
@size 14159
@ts 1568936586
include/z3_fpa.h
@sha Lc/CSssagUasUKHh/xbFGL+uFIKm4Z+IDerYNe5j8n8=
@size 36030
@ts 1568936586
include/z3_macros.h
@sha NK8CPE4ohNDaNDG+RH8HP8y7VL7y4bEsaTkQP0WRetc=
@size 315
@ts 1568936586
include/z3_optimization.h
@sha 7zjctYKOdVvTm4qDhI1Gif7z+zLw8ebT/qLl3rl7quU=
@size 11986
@ts 1568936586
include/z3_polynomial.h
@sha gjURP5uu8V/VBe0mmzIHNNswx+Qd9h7RtsRjwyblC3c=
@size 1096
@ts 1568936586
include/z3_rcf.h
@sha 200y/+o3ByrsjB7l+wFXfPJwTBCNI2qXTtJBThLH8nI=
@size 6002
@ts 1568936586
include/z3_spacer.h
@sha w9cMd95fC8UfOIIAZBP/c7elKBEYhr81QydJ79jy+mI=
@size 3931
@ts 1568936586
include/z3_v1.h
@sha ETRabGkkaGei//40aAK9hgtbs7cGqEpKR/M+v+yCt5g=
@size 2248
@ts 1568936586
include/z3_version.h
@sha MOWkM0wAelYYaE9E5sW9U7Le2Pr0WSpq8a735lWs9Fw=
@size 210
@ts 1589124093
lib/cmake/
lib/cmake/z3/
lib/cmake/z3/Z3Config.cmake
@sha x2faa64KRMOewGT1ant+PjePByItthmQxVSJ9vbeOwM=
@size 2061
@ts 1589124094
lib/cmake/z3/Z3ConfigVersion.cmake
@sha TYz2OFD1OTtYniTwrt4wnpqVhlwNq78m2UxhmjXnj8U=
@size 1728
@ts 1589124094
lib/cmake/z3/Z3Targets-release.cmake
@sha roivk9A8qhdKd1Jdl/wIxYDVviYXNk7rNbRaObFB+8I=
@size 799
@ts 1589124096
lib/cmake/z3/Z3Targets.cmake
@sha d8UP10Dqk6QgoHujL/1gaTxsclw7sC8uFvBdITAEdVo=
@size 3121
@ts 1589124096
@lib lib/libz3.so.2.0
@sha B8MCHZis0VngaUmQMgplfWIhxWHQiarw+Dk62iznEfg=
@size 23932640
@ts 1589128834
lib/python3.7/site-packages/z3/
lib/python3.7/site-packages/z3/__init__.py
@sha U8RSmgHzjnwNWTt1SMeeDXOYqgn318vRdzRwhZ7i/r0=
@size 210
@ts 1589128835
lib/python3.7/site-packages/z3/z3.py
@sha 0S2XaUDojH5eKsgx3FjkJzW6AEFvhGiQ8HZ7414PxMg=
@size 310259
@ts 1589128835
lib/python3.7/site-packages/z3/z3consts.py
@sha i+hQIhMJ+RhTRbgPBWK2/ERe5wX9ckxLUK8fwEuNc34=
@size 7249
@ts 1589128836
lib/python3.7/site-packages/z3/z3core.py
@sha tL/99EouybOY6T7zu1u2XktEUt5w1ERZtDOHRMWh6SQ=
@size 174887
@ts 1589128836
lib/python3.7/site-packages/z3/z3num.py
@sha JI8mj3U1ki4vMphcYBxunAHPz+k0oUSTTWYYDXdpXp8=
@size 16249
@ts 1589128835
lib/python3.7/site-packages/z3/z3poly.py
@sha 3NDFMDRDhLDrcAmsmUkdoxbT6NVtkiCj02TCrpU+wq4=
@size 1124
@ts 1589128835
lib/python3.7/site-packages/z3/z3printer.py
@sha iaTxXFhxrv0nv/my0mzN9U1TkUhqZWXAwBMDg7dqxEs=
@size 44684
@ts 1589128835
lib/python3.7/site-packages/z3/z3rcf.py
@sha vxKZzXPVdOvwIXYeRWiFjRgRQMUi/RrwBo30vBgQ7N4=
@size 5093
@ts 1589128835
lib/python3.7/site-packages/z3/z3test.py
@sha ZQT50MPz7JDsRowPDfOB21O1EOyIIwL/u8Gcm6JrMAE=
@size 464
@ts 1589128835
lib/python3.7/site-packages/z3/z3types.py
@sha B//y0/RCs87PFhk7lUCgrpqOLyWnP1tVacVctS/cbWk=
@size 3822
@ts 1589128835
lib/python3.7/site-packages/z3/z3util.py
@sha SJZDJevSi8e1pM6PEfTaF671YaMQm0kevtlCChT6RAw=
@size 11437
@ts 1589128835
