Your message dated Sun, 09 Jul 2023 18:00:14 +0000
with message-id <e1qiyhi-00b1ik...@fasolo.debian.org>
and subject line Bug#1035706: fixed in plume-util-java 1.1.0+ds-1~exp1
has caused the Debian Bug report #1035706,
regarding ITP: plume-util-java -- Plume-lib utility libraries for Java
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact ow...@bugs.debian.org
immediately.)
--
1035706: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1035706
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Package: wnpp
Severity: wishlist
Owner: Olek Wojnar <o...@debian.org>
X-Debbugs-Cc: debian-de...@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.
--- End Message ---
--- Begin Message ---
Source: plume-util-java
Source-Version: 1.1.0+ds-1~exp1
Done: Olek Wojnar <o...@debian.org>
We believe that the bug you reported is fixed in the latest version of
plume-util-java, which is due to be installed in the Debian FTP archive.
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to 1035...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Olek Wojnar <o...@debian.org> (supplier of updated plume-util-java package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmas...@ftp-master.debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Fri, 16 Jun 2023 16:27:49 -0400
Source: plume-util-java
Binary: libplume-util-java
Architecture: source all
Version: 1.1.0+ds-1~exp1
Distribution: experimental
Urgency: medium
Maintainer: Debian Java Maintainers
<pkg-java-maintain...@lists.alioth.debian.org>
Changed-By: Olek Wojnar <o...@debian.org>
Description:
libplume-util-java - Plume-lib utility libraries for Java
Closes: 1035706
Changes:
plume-util-java (1.1.0+ds-1~exp1) experimental; urgency=medium
.
* Ephemeral upload to experimental to clear NEW
- As noted in the ITP, this package is needed to build all of the modules
in the Checker Framework package (checker-framework-java). Currently,
only the checker-qual module is being built since it has no external
dependencies. Additional Checker Framework modules are needed for Bazel
version 5 and would likely be helpful for other Java packages as well.
- The one notable point about this package is that it backports a package
split that upstream implemented last month. The purpose of that split by
upstream was to simplify licensing. All files in this package are under
an MIT license whereas the files in the split package (packaged in Debian
already as "plume-hashmap-util-java") are under a GPL2 with Classpath
Exception license. The removal of the affected files is documented in
d/copyright.
- ftpmasters: As always, please send me an email if you have any questions
about this package and I will be happy to explain and update the
packaging as needed!
* Initial release (Closes: #1035706)
Checksums-Sha1:
72bcd8eb3cfc2a4c2d3a196663a0a48fdb609767 2170
plume-util-java_1.1.0+ds-1~exp1.dsc
589cb5d483d1c2cb05a02419c6911a8859ad5b8c 87220
plume-util-java_1.1.0+ds.orig.tar.xz
7a37af3efd0518d7207156de3b1c4a8287dab0de 3644
plume-util-java_1.1.0+ds-1~exp1.debian.tar.xz
466c030845302c12bbddf7ae0b3af1107a1f04f6 135588
libplume-util-java_1.1.0+ds-1~exp1_all.deb
9e44c7dd870d748dde519348bb763378b1897f7f 13880
plume-util-java_1.1.0+ds-1~exp1_amd64.buildinfo
Checksums-Sha256:
9856b10a53dc9e98ab517efc0e04bca51837e697bab468dab8695bb4469a51c5 2170
plume-util-java_1.1.0+ds-1~exp1.dsc
8760f05866dbea3091032941e0ec8256ce18c15a0735d97b36450033927efec6 87220
plume-util-java_1.1.0+ds.orig.tar.xz
2fcda7562f9381a1a86d405af53d19158b9c2c6a0bd978e06022127a0736fb22 3644
plume-util-java_1.1.0+ds-1~exp1.debian.tar.xz
f2c04add33cf33ddc80562b7768a07a4c9af532762449745da3769d2c053c25c 135588
libplume-util-java_1.1.0+ds-1~exp1_all.deb
d2462af9cabe66a072f0ba1e7fbcb5ee37ce380a0ee72ce2d428ef12e30e1732 13880
plume-util-java_1.1.0+ds-1~exp1_amd64.buildinfo
Files:
dbfa9b5411a25a36595a8fa70f062dd3 2170 java optional
plume-util-java_1.1.0+ds-1~exp1.dsc
5ac7d09677474d9a837a9fe39f6744ca 87220 java optional
plume-util-java_1.1.0+ds.orig.tar.xz
2b43334b46ab8050e3f0ab1847dc985e 3644 java optional
plume-util-java_1.1.0+ds-1~exp1.debian.tar.xz
ca60adc066745bfd7d5390258457fffa 135588 java optional
libplume-util-java_1.1.0+ds-1~exp1_all.deb
9488508230bd0b6fc50e5de3374ebba9 13880 java optional
plume-util-java_1.1.0+ds-1~exp1_amd64.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCgAdFiEELejiDiSiH9jtG0ynfYPUBqCdweQFAmSMyVAACgkQfYPUBqCd
weSR5xAAmkqiJUkCPtPuKDCCvoY6SBokRTX+98Tb6qG3QiXwXbvuSkuAhq37HFnr
fvWjbL6J+sD7C0QLdgmF8s8pQJERaEX7MKoUdtOGez+TbI0BrISZRd5cd8qGX1r8
O+aCyyOV9iGjwnQVq+ZnjwPu4+Zc0AjN/uSCvkJsEQMy0yo6b/8LGEliGFB3Yipz
EeybDxPsHNVywHB1g1atjJZwkbwaaMA+4C+yZq/En+Q1UunGZAwyY+swrlLyfBjY
NTvAWHYvFUrOzgILKgGH6vHu8ffKqgFcKLVXxFucwG+ENLfou20X8mBfNVPtG9IZ
W3x8RzQdT1+PnJhaMLsHNFPp6vw2XrIfAYztaicws4tDIEx+g5JH0KykiGuQoecp
KgSbDU8Jcj25CZ4OgxyyK/6yFeMZp5FQIiuV2V3wLapxHeBbSuYLfv9oOtftA0Ht
dVHxwCh0MNJn7Y9xBk13SBlOV33ew+bedEEafIHXiEMpUh/yMx1BVSrme0h4kED7
INWmBuneb0YXflud8iI6cz3NpKe6AACux56B64P11Hjdd8ihvE+aEiGBwRhllH4t
JpoDrN+zLuHVIYfYEr9CkiDcJS9/jCRqXfe/jmdISz6K/ZhSELI7J+GkxNfKsWNU
D8FS7Yf/jhLdH6G0dm3eTScH8hxlOZGtVyYxWqdSKaBT91WT7h4=
=5UQt
-----END PGP SIGNATURE-----
--- End Message ---