Bug#1037260: ITP: plume-hashmap-util-java -- Plume-lib utility libraries for Java HashMaps

[Olek Wojnar <olek@debian.org>]

Package: wnpp
Severity: wishlist
Owner: Olek Wojnar <olek@debian.org>
X-Debbugs-Cc: debian-devel@lists.debian.org

* Package name    : plume-hashmap-util-java
  Version         : 0.0.1
  Upstream Author : Michael Ernst <mernst@cs.washington.edu>
* URL             : https://github.com/plume-lib/hashmap-util
* License         : GPL 2 with Classpath Exception
  Programming Lang: Java
  Description     : Plume-lib utility libraries for Java HashMaps

 Hashmap Java utility libraries from the plume-lib project. These libraries are:
 Hasher, WeakHashMap, and WeakIdentityHashMap.

This package is needed to build the full Checker Framework package which is
in turn needed for Bazel version 5.