| Age | Commit message (Expand) | Author |
|---|---|---|
| 2014-05-13 | minisat: fails with clang | Adam Vandenberg |
| 2014-03-19 | minisat: use patch DSL | Jack Nagel |
| 2013-03-29 | Change github /tarball/ URLs to /archive/ for formulae L-Z | Andrew Janke |
| 2012-09-03 | Batch convert MD5 formula to SHA1. | Mike McQuaid |
| 2012-03-30 | Minisat 2.2.0 | Libor Wagner |
