2018-11-22 | DPorts Builder | Tweak math/minisat version 2.2.1_2 | tree | commitdiff |
2018-02-05 | DPorts Builder | Update math/minisat to version 2.2.1_2 | tree | commitdiff |
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 |