math/minisat/DESCR: 5d61c85ccf6213eb711f670fc2131b15d7288bc12865f54b43dc34e10cb91dc8
math/minisat/Makefile: e738a9bfbb9a0721559bcd8459489b46724469c12411c0223a57fac92854daec
math/minisat/PLIST: a45d46972e03322ec1d4ee9db191ed680c13f7d79c48634cb7c98bafb5d3f528
math/minisat/distinfo: c6c81298d83aa7444cb9696b30d6ac384a8fa2599f58e71b3149c4ba1f01c4ec
math/minisat/make.core: 
