From 642a316f583025687a5fa00439d857ee529b7dca Mon Sep 17 00:00:00 2001 From: vanilla Date: Thu, 30 Jul 2015 02:36:38 +0000 Subject: Upgrade to 1.8.8. PR: 201968 Submitted by: maintainer --- games/minecraft-server/Makefile | 3 +-- games/minecraft-server/distinfo | 4 ++-- 2 files changed, 3 insertions(+), 4 deletions(-) (limited to 'games') 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 -- cgit