eisop-dataflow-3.41.0.eisop1-1 RPM for noarch

From OpenMandriva Cooker for aarch64 / main / release

org.checkerframework:dataflow 3.41.0-eisop1. Control-flow graph and dataflow
analysis from the eisop Checker Framework, compiled from source against
the system javacutil, plume-util, and checker-qual jars. This is the
unshaded jar. error-prone upstream depends on a shaded rename of these
packages; that rename is applied when error-prone itself is built.

Provides

• eisop-dataflow
• java(org.checkerframework.dataflow.analysis)
• java(org.checkerframework.dataflow.busyexpr)
• java(org.checkerframework.dataflow.cfg)
• java(org.checkerframework.dataflow.cfg.block)
• java(org.checkerframework.dataflow.cfg.builder)
• java(org.checkerframework.dataflow.cfg.node)
• java(org.checkerframework.dataflow.cfg.playground)
• java(org.checkerframework.dataflow.cfg.visualize)
• java(org.checkerframework.dataflow.constantpropagation)
• java(org.checkerframework.dataflow.expression)
• java(org.checkerframework.dataflow.livevariable)
• java(org.checkerframework.dataflow.reachingdef)
• java(org.checkerframework.dataflow.util)
• jmod(dataflow)
• mvn(org.checkerframework:dataflow)
• sysjar(org.checkerframework:dataflow)

Requires

• jmod(java.base)
• mvn(com.google.guava:guava) = 33.6.0-jre
• mvn(com.google.guava:guava) = 33.6.0-jre
• mvn(org.checkerframework:checker-qual) = 3.41.0-eisop1
• mvn(org.checkerframework:checker-qual) = 3.41.0-eisop1
• mvn(org.checkerframework:javacutil) = 3.41.0-eisop1
• mvn(org.checkerframework:javacutil) = 3.41.0-eisop1
• mvn(org.plumelib:plume-util) = 1.8.1
• mvn(org.plumelib:plume-util) = 1.8.1
• mvn(org.plumelib:reflection-util) = 1.0.6
• mvn(org.plumelib:reflection-util) = 1.0.6
• rpmlib(LargeFiles) <= 4.12.0-1
• rpmlib(PayloadIsZstd) <= 5.4.18-1

License

GPLv2 with exceptions

Files

/usr/share/java/dataflow.jar
/usr/share/licenses/eisop-dataflow
/usr/share/licenses/eisop-dataflow/LICENSE.txt
/usr/share/maven-poms/dataflow.pom
/usr/share/sysjar/index/org.checkerframework
/usr/share/sysjar/index/org.checkerframework/dataflow.sysjar

Generated by rpm2html 1.8.1

Fabrice Bellet, Sat Nov 14 22:13:35 2026