gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2025-12-21 21:17:37 -08:00
Code Issues Projects Releases Wiki Activity

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

Browse Source 
Signed-off-by: Volkmar W. Pogatzki <gentoo@pogatzki.net>
Part-of: https://github.com/gentoo/gentoo/pull/44601
Signed-off-by: Miroslav Šulc <fordfrog@gentoo.org>
This commit is contained in:
Volkmar W. Pogatzki 2025-11-12 10:45:03 +01:00 committed by Miroslav Šulc
parent 5a985716f2
commit bec24419a7
No known key found for this signature in database
GPG Key ID: 65D0F770B26B469C
2 changed files with 24 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
dev-java/checker-framework-qual/Manifest
View File

@ -1 +1,2 @@
DIST checker-framework-3.51.1.tar.gz 10856115 BLAKE2B 55f1353f04aee6eb1067760316482f2218865d56930558fb91b17f031763b58b0ae7e5ee87584b04f687829f5893a353d884544cfa9859c2b0b5bcbd0fec1342 SHA512 8401d26d5a1ceaa6a47f477c3c3afc096e5fdaa445e2ada1aa1ddc1e50d74b9139ca2026dc18b724ccb018d648e66a9386ffb89bda6fe68d9eb61fa1d6806e66
DIST checker-framework-3.52.1.tar.gz 10861955 BLAKE2B 6584039c2cfaf9e58e6aab50e2704c845644173a8af2486edf6612f8c20b7dfa4f720ed2d0b24cb041f7cda836c55da73e48a43a633e473ef7f76bdf0b40bacb SHA512 fcd287de379856294744441dc8d8241c2a17c50dba62df70d958d3429485a4fa27b3e349baa11f2ac1fa4dd255da932316ab32f947326eb5cb825e0703100889

23
dev-java/checker-framework-qual/checker-framework-qual-3.52.1.ebuild Normal file
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"