CVSROOT: /cvs Module name: ports Changes by: [email protected] 2010/05/13 12:29:47
Modified files:
math/minisat : Makefile distinfo
math/minisat/patches: patch-Makefile
Log message:
- bump to a version that support proof logging
- don't hide compilation commands
