version: 2
checksum: 40d24f4911d22613911aadaf7cb76af12a664758579cdf7e1ab207bda29639c3
variant: +threads
target: org.macports.fetch
target: org.macports.checksum
target: org.macports.extract
patch: libz3-static.diff
patch: build-z3-qprofdiff.diff
target: org.macports.patch
target: org.macports.configure
target: org.macports.build
target: org.macports.destroot
