Modified: trunk/dports/games/pioneers/Portfile (86748 => 86749)
--- trunk/dports/games/pioneers/Portfile 2011-11-03 00:36:03 UTC (rev 86748)
+++ trunk/dports/games/pioneers/Portfile 2011-11-03 00:40:09 UTC (rev 86749)
@@ -5,8 +5,7 @@
PortGroup app 1.0
name pioneers
-version 0.12.4
-revision 2
+version 0.12.5
categories games
license GPL
maintainers snc gmail.com:jweede
@@ -34,8 +33,8 @@
master_sites sourceforge:pio
-checksums rmd160 35e9792fac8f80a1a0b734f89771770e784fd0f2 \
- sha256 05e643c61b76f9558f7aec5076ca3404e296e4a6b097245a3407a4532f4c3c69
+checksums rmd160 34f8cad6cf70d55720932e7deadd9ebeded07bc7 \
+ sha256 01e017a08b810be55ff72d96b23e6403190ce4e876a69b356b0f368f254f139b
post-extract {
copy ${filespath}/launcher.sh ${worksrcpath}