2017-07-03 | DPorts Builder | Tweak math/gringo version 4.5.2_1 | tree | commitdiff |
2017-04-13 | DPorts Builder | Bump math/gringo to version 4.5.2_1 | tree | commitdiff |
2016-09-05 | DPorts Builder | Tweak math/gringo version 4.5.2 | tree | commitdiff |
2016-04-07 | DPorts Builder | Tweak math/gringo version 4.5.2 | tree | commitdiff |
2015-09-29 | DPorts Builder | Tweak math/gringo version 4.5.2 | tree | commitdiff |
2015-09-10 | DPorts Builder | Tweak math/gringo version 4.5.2 | tree | commitdiff |
2015-08-24 | DPorts Builder | Update math/gringo to version 4.5.2 | tree | commitdiff |
2015-06-05 | DPorts Builder | Tweak math/gringo version 4.4.0_1 | tree | commitdiff |
2015-05-13 | DPorts Builder | Tweak math/gringo version 4.4.0_1 | tree | commitdiff |
2014-11-02 | DPorts Builder | Import math/gringo version 4.4.0_1 | tree | commitdiff |