gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-07-31 10:58:21 -07:00
Code Issues Projects Releases Wiki Activity

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

Browse Source 
Signed-off-by: Volkmar W. Pogatzki <gentoo@pogatzki.net>
Signed-off-by: Miroslav Šulc <fordfrog@gentoo.org>
This commit is contained in:
Volkmar W. Pogatzki
2025-04-02 09:18:59 +02:00
committed by Miroslav Šulc
parent 465a575398
commit 946ba8bb6b
2 changed files with 24 additions and 0 deletions
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.48.4.tar.gz 8347976 BLAKE2B 29a874f406ca20d12563950e6f7603c94e8c0672871ec8c3f05bc7f37629cc7fc26ae8743283e55cc69f4eb8c40e1e8fc123ba636d19bba3084cd9f1b36a8b0c SHA512 6495e328c041e0b5fc0fddfc4e5811171531933e7154f95eb39113d7aaa78b08a83860426406f66461614f53c024a55a9486a3dd736bc04fb9c306ab3349157f
DIST checker-framework-3.49.5.tar.gz 8393359 BLAKE2B 1cf9eedfb290e214761a7915dd82829aea6be2ddc4cfc3da4c136eb12801a87b1dc5dd08ac15fb3a06cee04eb412097eab1d17f85b6b6e0056f0e3273bdb7186 SHA512 940754511309e8131d712d3006bad0e3087359c10f723b26646d1d2500477a78b06f413f6b02a13ea5ac22d91a9bc28cf0083d8a9a73acb860cdcef492976c72

23
dev-java/checker-framework-qual/checker-framework-qual-3.49.5.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"