diff options
| author |   Volkmar W. Pogatzki <gentoo@pogatzki.net> | 2023-10-12 09:09:50 +0200 |
|---|---|---|
| committer |   Miroslav Šulc <fordfrog@gentoo.org> | 2023-12-08 10:47:27 +0100 |
| commit | a6ed8190dcbde43acf1ec4965ab104869ca338a2 (patch) | |
| tree | 58720908b60e6dfcb9f5e3522d8127fb0e93780d /dev-java/checker-framework-qual | |
| parent | dev-java/jdbc-postgresql: add 42.7.1 (diff) | |
| download | gentoo-a6ed8190dcbde43acf1ec4965ab104869ca338a2.tar.gz gentoo-a6ed8190dcbde43acf1ec4965ab104869ca338a2.tar.bz2 gentoo-a6ed8190dcbde43acf1ec4965ab104869ca338a2.zip | |
dev-java/checker-framework-qual: add 3.41.0
Signed-off-by: Volkmar W. Pogatzki <gentoo@pogatzki.net>
Signed-off-by: Miroslav Šulc <fordfrog@gentoo.org>
Diffstat (limited to 'dev-java/checker-framework-qual')
| -rw-r--r-- | dev-java/checker-framework-qual/Manifest | 1 | ||||
| -rw-r--r-- | dev-java/checker-framework-qual/checker-framework-qual-3.41.0.ebuild | 23 |
2 files changed, 24 insertions, 0 deletions
diff --git a/dev-java/checker-framework-qual/Manifest b/dev-java/checker-framework-qual/Manifest index 420abc50100b..498148d40948 100644 --- a/dev-java/checker-framework-qual/Manifest +++ b/dev-java/checker-framework-qual/Manifest @@ -1 +1,2 @@ DIST checker-framework-3.14.0.tar.gz 7788010 BLAKE2B e05647b7a551cb1e53c32ea65c1d5a28ed7a968310223664704722c58b6df188e80581df383937fef6ebed5042e7234281b55069fde1f4cb34853495c4e2fbff SHA512 14be47e823ba67b6fcb7a8033632a2dd56341bd0d2a56c7501b50eab5e471622372eb4b62f4e78e33be019c15f44d075d146ece98fa3316e7cb24346db98c238 +DIST checker-framework-3.41.0.tar.gz 8271094 BLAKE2B 804e0b03872f4b6d9311ddba83bc2ae1e6f167fd62330d2461ee54338e592c84b4d94200f6e0d1de6ed0258343ab0b081f3e8108efce62f396c7c753cadae471 SHA512 4d0f82269a521c498b2e54bfaed1513c708e538fc42b5bb22ae176a368c7f409548820f8fa56009997e341f1b716c184bdbadf4d3b5b9e2f3d2ee4148eb6c433 diff --git a/dev-java/checker-framework-qual/checker-framework-qual-3.41.0.ebuild b/dev-java/checker-framework-qual/checker-framework-qual-3.41.0.ebuild new file mode 100644 index 000000000000..6504503b76cd --- /dev/null +++ b/dev-java/checker-framework-qual/checker-framework-qual-3.41.0.ebuild @@ -0,0 +1,23 @@ +# Copyright 1999-2023 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 ~arm ~arm64 ~ppc64 ~x86" + +DEPEND=">=virtual/jdk-1.8:*" +RDEPEND=">=virtual/jre-1.8:*" + +JAVA_SRC_DIR="src/main/java/org/checkerframework/" |