math/py-smt/ALTERNATIVES: 3c74bcb1819e3a4280a0ee8811dfd60e8b59ef839daaff1c50b61beffe352db7
math/py-smt/DESCR: 8c211f033939f44df1c15bae2c7746c41415867a969d56fa8550db9e9fe80fe0
math/py-smt/Makefile: a8899943d9e121453e44f567139f90a937fe8dc72bdd8f4f771569cde5a083ab
math/py-smt/PLIST: 944aa48e64f37fe5468781e1830510e9824126dc5e8e2a6ef3b7792f5e84252c
math/py-smt/distinfo: 0335f03bf73f591428d31d364e52d6cfacd18041b8f668e8b8a036065d4ef2b3
math/py-smt/make.core: 
