math/py-smt/ALTERNATIVES: 3c74bcb1819e3a4280a0ee8811dfd60e8b59ef839daaff1c50b61beffe352db7
math/py-smt/DESCR: 8c211f033939f44df1c15bae2c7746c41415867a969d56fa8550db9e9fe80fe0
math/py-smt/Makefile: 78907ec2076cbfd520805ee3003150c0633c3065c6b3682f5431945378356d3d
math/py-smt/PLIST: 89368f416603eb60c64501ac296c2bb8faa767ed089da3fe62798cb3bbe5ac58
math/py-smt/distinfo: 0335f03bf73f591428d31d364e52d6cfacd18041b8f668e8b8a036065d4ef2b3
