2017-03-30 | DPorts Builder | Tweak devel/gecode version 5.0.0 | tree | commitdiff |
2017-02-19 | DPorts Builder | Update devel/gecode to version 5.0.0 | tree | commitdiff |
2016-11-16 | DPorts Builder | Tweak devel/gecode version 4.4.0 | tree | commitdiff |
2016-08-11 | DPorts Builder | Import devel/gecode version 4.4.0 | tree | commitdiff |