CVSROOT: /cvs Module name: ports Changes by: [email protected] 2010/08/19 08:19:22
Modified files:
math/minisat : Makefile distinfo
math/minisat/pkg: DESCR PLIST
Added files:
math/minisat/patches: patch-core_Main_cc patch-mtl_template_mk
patch-simp_Main_cc patch-utils_System_cc
Removed files:
math/minisat/patches: patch-Makefile
Log message:
update to minisat 2.2.0
OK jasper@
