Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]


Groups > linux.debian.devel > #108156 > unrolled thread

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

Started byOlek Wojnar <olek@debian.org>
First post2023-06-09 17:40 +0200
Last post2023-06-09 17:40 +0200
Articles 1 — 1 participant

Back to article view | Back to linux.debian.devel


Contents

  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

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

FromOlek Wojnar <olek@debian.org>
Date2023-06-09 17:40 +0200
SubjectBug#1037260: ITP: plume-hashmap-util-java -- Plume-lib utility libraries for Java HashMaps
Message-ID<GEMnv-eLbI-7@gated-at.bofh.it>
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.

[toc] | [standalone]


Back to top | Article view | linux.debian.devel


csiph-web