gringo: rewrite master_sites to avoid redirects
--- trunk/dports/math/gringo/Portfile 2015-09-19 15:52:22 UTC (rev 140417)
+++ trunk/dports/math/gringo/Portfile 2015-09-19 16:14:38 UTC (rev 140418)
@@ -15,7 +15,7 @@
processed further with answer set solvers like clasp, cmodels, or smodels.
homepage http://potassco.sourceforge.net/
-master_sites sourceforge:potassco
+master_sites sourceforge:project/potassco/gringo/${version}/
distname ${name}-${version}-source