macports - Revision 154482: /trunk/dports/math/minisat/files

• ..
• configure
• patch-friend-declaration.diff
• patch-mtl-template.mk.diff
• patch-simp-Makefile.diff
• patch-utils-System.cc.diff