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

From	Olek Wojnar <olek@debian.org>
Newsgroups	linux.debian.bugs.dist, linux.debian.devel
Subject	Bug#1037260: ITP: plume-hashmap-util-java -- Plume-lib utility libraries for Java HashMaps
Date	2023-06-09 17:40 +0200
Message-ID	<GEMnv-eLbI-7@gated-at.bofh.it> (permalink)
Organization	linux.* mail to news gateway

Cross-posted to 2 groups.

Show all headers | View raw

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.

Back to linux.debian.devel | Previous | Next | Find similar | Unroll thread

Thread

Bug#1037260: ITP: plume-hashmap-util-java -- Plume-lib utility libraries for Java HashMaps Olek Wojnar <olek@debian.org> - 2023-06-09 17:40 +0200

csiph-web