diff options
-rw-r--r-- | devel/antlr4/Makefile | 2 | ||||
-rw-r--r-- | devel/antlr4/distinfo | 6 |
2 files changed, 4 insertions, 4 deletions
diff --git a/devel/antlr4/Makefile b/devel/antlr4/Makefile index 706cefc4d0ba..da95afec1d00 100644 --- a/devel/antlr4/Makefile +++ b/devel/antlr4/Makefile @@ -1,5 +1,5 @@ PORTNAME= antlr4 -PORTVERSION= 4.12.0 +PORTVERSION= 4.13.1 CATEGORIES= devel java MASTER_SITES= http://www.antlr.org/download/ DISTNAME= antlr-${PORTVERSION}-complete diff --git a/devel/antlr4/distinfo b/devel/antlr4/distinfo index 12da1f3eefa4..eefc41740405 100644 --- a/devel/antlr4/distinfo +++ b/devel/antlr4/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1678305264 -SHA256 (antlr-4.12.0-complete.jar) = 88f18a2bfac0dde1009eda5c7dce358a52877faef7868f56223a5bcc15329e43 -SIZE (antlr-4.12.0-complete.jar) = 3433952 +TIMESTAMP = 1710310508 +SHA256 (antlr-4.13.1-complete.jar) = bc13a9c57a8dd7d5196888211e5ede657cb64a3ce968608697e4f668251a8487 +SIZE (antlr-4.13.1-complete.jar) = 2139203 |