2016-05-23 | DPorts Builder | Tweak math/minisat version 2.2.1_1 | tree | commitdiff |
2015-06-29 | DPorts Builder | Update math/minisat to version 2.2.1_1 | tree | commitdiff |
2014-11-19 | DPorts Builder | Tweak math/minisat version 2.2.1 | tree | commitdiff |
2014-07-15 | DPorts Builder | Tweak math/minisat version 2.2.1 | tree | commitdiff |
2014-04-16 | DPorts Builder | Tweak math/minisat version 2.2.1 | tree | commitdiff |
2014-02-12 | DPorts Builder | Tweak math/minisat version 2.2.1 | tree | commitdiff |
2014-02-03 | DPorts Builder | Tweak math/minisat version 2.2.1 | tree | commitdiff |
2014-01-29 | DPorts Builder | Tweak math/minisat version 2.2.1 | tree | commitdiff |
2013-10-15 | DPorts Builder | Import math/minisat version 2.2.1 | tree | commitdiff |