Package: wnpp Severity: wishlist Owner: Olek Wojnar <o...@debian.org> X-Debbugs-Cc: debian-devel@lists.debian.org
* Package name : plume-util-java Version : 1.1.0 Upstream Author : Michael Ernst <mer...@cs.washington.edu> * URL : https://github.com/plume-lib/plume-util * License : MIT Programming Lang: Java Description : Plume-lib utility libraries for Java Various Java utility libraries from the plume-lib project. These include: collections and iterators, text processing, math, random selection, determinism and immutability, utility interfaces, and the JVM runtime system. This package is needed to build the full Checker Framework package which is in turn needed for Bazel version 5.
