From 3736df077fe207d50184dbc97bf6d76b2b2f75cc Mon Sep 17 00:00:00 2001 From: Yuri Victorovich Date: Wed, 29 Jul 2020 00:40:16 +0000 Subject: [PATCH] misc/box2d: Update the port because the repository was renamed PR: 247962 Submitted by: lwhsu (original version) --- misc/box2d/Makefile | 1 + misc/box2d/distinfo | 6 +++--- 2 files changed, 4 insertions(+), 3 deletions(-) diff --git a/misc/box2d/Makefile b/misc/box2d/Makefile index 33fedae648eb..1946f4e75c1d 100644 --- a/misc/box2d/Makefile +++ b/misc/box2d/Makefile @@ -14,6 +14,7 @@ LICENSE_FILE= ${WRKSRC}/License.txt USES= cmake pkgconfig USE_GITHUB= yes GH_ACCOUNT= erincatto +GH_PROJECT= box2d USE_LDCONFIG= yes WRKSRC_SUBDIR= ${PORTNAME} diff --git a/misc/box2d/distinfo b/misc/box2d/distinfo index 95fd1619a4f0..71504e3bd8ef 100644 --- a/misc/box2d/distinfo +++ b/misc/box2d/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1550549351 -SHA256 (erincatto-Box2D-v2.3.1_GH0.tar.gz) = 75d62738b13d2836cd56647581b6e574d4005a6e077ddefa5d727d445d649752 -SIZE (erincatto-Box2D-v2.3.1_GH0.tar.gz) = 1553222 +TIMESTAMP = 1594710230 +SHA256 (erincatto-box2d-v2.3.1_GH0.tar.gz) = 58ffc8475a8650aadc351345aef696937747b40501ab78d72c197c5ff5b3035c +SIZE (erincatto-box2d-v2.3.1_GH0.tar.gz) = 1553252