dev-java/checker-framework-qual: add 3.51.1

Signed-off-by: Volkmar W. Pogatzki <gentoo@pogatzki.net>
Part-of: https://github.com/gentoo/gentoo/pull/43833
Signed-off-by: Sam James <sam@gentoo.org>
This commit is contained in:
Volkmar W. Pogatzki 2025-09-11 20:57:04 +02:00 committed by Sam James
parent 8bccddb719
commit 7d149c14fc
No known key found for this signature in database
GPG Key ID: 738409F520DF9190
2 changed files with 24 additions and 0 deletions

View File

@ -1,2 +1,3 @@
DIST checker-framework-3.48.4.tar.gz 8347976 BLAKE2B 29a874f406ca20d12563950e6f7603c94e8c0672871ec8c3f05bc7f37629cc7fc26ae8743283e55cc69f4eb8c40e1e8fc123ba636d19bba3084cd9f1b36a8b0c SHA512 6495e328c041e0b5fc0fddfc4e5811171531933e7154f95eb39113d7aaa78b08a83860426406f66461614f53c024a55a9486a3dd736bc04fb9c306ab3349157f
DIST checker-framework-3.49.5.tar.gz 8393359 BLAKE2B 1cf9eedfb290e214761a7915dd82829aea6be2ddc4cfc3da4c136eb12801a87b1dc5dd08ac15fb3a06cee04eb412097eab1d17f85b6b6e0056f0e3273bdb7186 SHA512 940754511309e8131d712d3006bad0e3087359c10f723b26646d1d2500477a78b06f413f6b02a13ea5ac22d91a9bc28cf0083d8a9a73acb860cdcef492976c72
DIST checker-framework-3.51.1.tar.gz 10856115 BLAKE2B 55f1353f04aee6eb1067760316482f2218865d56930558fb91b17f031763b58b0ae7e5ee87584b04f687829f5893a353d884544cfa9859c2b0b5bcbd0fec1342 SHA512 8401d26d5a1ceaa6a47f477c3c3afc096e5fdaa445e2ada1aa1ddc1e50d74b9139ca2026dc18b724ccb018d648e66a9386ffb89bda6fe68d9eb61fa1d6806e66

View File

@ -0,0 +1,23 @@
# Copyright 1999-2025 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=8
JAVA_PKG_IUSE="doc source"
MAVEN_ID="org.checkerframework:checker-qual:${PV}"
inherit java-pkg-2 java-pkg-simple
DESCRIPTION="Annotations for type-checking by the Checker Framework"
HOMEPAGE="https://checkerframework.org/"
SRC_URI="https://github.com/typetools/checker-framework/archive/checker-framework-${PV}.tar.gz"
S="${WORKDIR}/checker-framework-checker-framework-${PV}/checker-qual"
LICENSE="MIT"
SLOT="0"
KEYWORDS="~amd64 ~arm64 ~ppc64"
DEPEND=">=virtual/jdk-11:*" # module-info
RDEPEND=">=virtual/jre-1.8:*"
JAVA_SRC_DIR="src/main/java"