2022-04-12 | DPorts Builder | Prune 344 obsolete ports | blob | commitdiff |
2019-09-11 | DPorts Builder | Merge branch 'staged' | blob | commitdiff |
2019-08-29 | DPorts Builder | Tweak graphics/deegree-wps version 2.5_2 | blob | commitdiff |
2012-12-11 | Automaton | Import graphics/deegree-wps version 2.5_1 | blob | commitdiff | diff to current |