diff options
| -rw-r--r-- | devel/catch/Makefile | 2 | ||||
| -rw-r--r-- | devel/catch/distinfo | 6 |
2 files changed, 4 insertions, 4 deletions
diff --git a/devel/catch/Makefile b/devel/catch/Makefile index 3a0b2c793c28..e72a40717840 100644 --- a/devel/catch/Makefile +++ b/devel/catch/Makefile @@ -3,7 +3,7 @@ PORTNAME= catch DISTVERSIONPREFIX= v -DISTVERSION= 2.12.1 +DISTVERSION= 2.12.2 PORTREVISION= 0 CATEGORIES= devel diff --git a/devel/catch/distinfo b/devel/catch/distinfo index 0bd2333a212b..4e7c5470ef5e 100644 --- a/devel/catch/distinfo +++ b/devel/catch/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1587559878 -SHA256 (catchorg-Catch2-v2.12.1_GH0.tar.gz) = e5635c082282ea518a8dd7ee89796c8026af8ea9068cd7402fb1615deacd91c3 -SIZE (catchorg-Catch2-v2.12.1_GH0.tar.gz) = 641534 +TIMESTAMP = 1590484613 +SHA256 (catchorg-Catch2-v2.12.2_GH0.tar.gz) = 4075d12aa4dc9a5bab00e82e0140b2969b88b8524b224e06ee129fabb9e2944b +SIZE (catchorg-Catch2-v2.12.2_GH0.tar.gz) = 641913 |
