diff options
author | vanilla <vanilla@FreeBSD.org> | 2015-07-30 10:36:38 +0800 |
---|---|---|
committer | vanilla <vanilla@FreeBSD.org> | 2015-07-30 10:36:38 +0800 |
commit | 642a316f583025687a5fa00439d857ee529b7dca (patch) | |
tree | 1c4ed7bf08d31b0598cc35607c76cfc1d49db96c /games | |
parent | eae76a6cd57a9f79286900465cb420331c6fff65 (diff) | |
download | freebsd-ports-gnome-642a316f583025687a5fa00439d857ee529b7dca.tar.gz freebsd-ports-gnome-642a316f583025687a5fa00439d857ee529b7dca.tar.zst freebsd-ports-gnome-642a316f583025687a5fa00439d857ee529b7dca.zip |
Upgrade to 1.8.8.
PR: 201968
Submitted by: maintainer
Diffstat (limited to 'games')
-rw-r--r-- | games/minecraft-server/Makefile | 3 | ||||
-rw-r--r-- | games/minecraft-server/distinfo | 4 |
2 files changed, 3 insertions, 4 deletions
diff --git a/games/minecraft-server/Makefile b/games/minecraft-server/Makefile index 07c031d5610b..2580a5256474 100644 --- a/games/minecraft-server/Makefile +++ b/games/minecraft-server/Makefile @@ -1,8 +1,7 @@ # $FreeBSD$ PORTNAME= minecraft-server -PORTVERSION= 1.8.7 -PORTREVISION= 1 +PORTVERSION= 1.8.8 CATEGORIES= games java MASTER_SITES= https://s3.amazonaws.com/Minecraft.Download/versions/${PORTVERSION}/ DISTNAME= minecraft_server.${PORTVERSION}.jar diff --git a/games/minecraft-server/distinfo b/games/minecraft-server/distinfo index 7fa43cf2cbf3..6629d0c0bce2 100644 --- a/games/minecraft-server/distinfo +++ b/games/minecraft-server/distinfo @@ -1,2 +1,2 @@ -SHA256 (minecraft_server.1.8.7.jar) = 5cf4a49762c996c94f6b8b119f1c80b4de3c12b2f5c53268801905bb7daa0644 -SIZE (minecraft_server.1.8.7.jar) = 9780646 +SHA256 (minecraft_server.1.8.8.jar) = 39aef720dc5309476f56f2e96a516f3dd3041bbbf442cbfd47d63acbd06af31e +SIZE (minecraft_server.1.8.8.jar) = 8322852 |