diff --git a/lang/seed7/Makefile b/lang/seed7/Makefile index 314d032a2d7b..fc86e7e34110 100644 --- a/lang/seed7/Makefile +++ b/lang/seed7/Makefile @@ -2,8 +2,8 @@ # $FreeBSD$ PORTNAME= seed7 -DISTVERSION= 05_20181125 -PORTREVISION= 1 +DISTVERSION= 05_20190107 +PORTREVISION= 0 CATEGORIES= lang MASTER_SITES= SF/${PORTNAME}/${PORTNAME}/${DISTNAME}/ DISTNAME= ${PORTNAME}_${DISTVERSION} diff --git a/lang/seed7/distinfo b/lang/seed7/distinfo index 720253a16cca..86d2e939d872 100644 --- a/lang/seed7/distinfo +++ b/lang/seed7/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1543226483 -SHA256 (seed7_05_20181125.tgz) = 982e457a76be7126f8ce6ac5b32a6ca351abd881da6628b36497e0353d6989a5 -SIZE (seed7_05_20181125.tgz) = 2838435 +TIMESTAMP = 1546953818 +SHA256 (seed7_05_20190107.tgz) = 553bc5764b13d2ac61ac667d7514d61c10357d62ea4b26fe54fbd3d638fabeca +SIZE (seed7_05_20190107.tgz) = 2881609