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

• ..
• patch-btorexp.c.diff
• patch-btorsat.c.diff
• patch-configure.diff
• patch-makefile.in.diff