pmd: update to 7.25.0

This commit is contained in:
Vadym-Valdis Yudaiev
2026-06-22 22:41:35 +03:00
parent 2cbc2d08c9
commit 801a49dadc
+4 -4
View File
@@ -4,7 +4,7 @@ PortSystem 1.0
PortGroup github 1.0
PortGroup java 1.0
github.setup pmd pmd 7.23.0 pmd_releases/
github.setup pmd pmd 7.25.0 pmd_releases/
github.tarball_from releases
revision 0
@@ -23,9 +23,9 @@ homepage https://pmd.github.io
use_zip yes
distname ${name}-dist-${version}-bin
checksums ${distname}${extract.suffix} \
rmd160 d76e0ed422f1e5dc3374a24ebb09c6bcc7a51989 \
sha256 d099c3b46e0cc6564d3dfeae02449b8e0f75ea2fb061f072273b39927204e1be \
size 73408251
rmd160 508dfcf8282e8de5107bed6557a215da70d19fda \
sha256 1fceb3005ebfd580cc9afa5242e07df74826eedeb225f239f503083845d77fc2 \
size 73610197
java.version 1.8+
java.fallback openjdk11