[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#1035706: marked as done (ITP: plume-util-java -- Plume-lib utility libraries for Java)

Your message dated Thu, 13 Jul 2023 22:32:02 +0000
with message-id <E1qK4qw-00CbUx-0T@fasolo.debian.org>
and subject line Bug#1035706: fixed in plume-util-java 1.1.0+ds-1
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 owner@bugs.debian.org
immediately.)


-- 
1035706: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1035706
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Package: wnpp
Severity: wishlist
Owner: Olek Wojnar <olek@debian.org>
X-Debbugs-Cc: debian-devel@lists.debian.org

* Package name    : plume-util-java
  Version         : 1.1.0
  Upstream Author : Michael Ernst <mernst@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
Done: Olek Wojnar <olek@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 1035706@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Olek Wojnar <olek@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 ftpmaster@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
Architecture: source
Version: 1.1.0+ds-1
Distribution: unstable
Urgency: medium
Maintainer: Debian Java Maintainers <pkg-java-maintainers@lists.alioth.debian.org>
Changed-By: Olek Wojnar <olek@debian.org>
Closes: 1035706
Changes:
 plume-util-java (1.1.0+ds-1) unstable; urgency=medium
 .
   * Initial release (Closes: #1035706)
Checksums-Sha1:
 92c5ef5e2d32b26263cc2aa6f39ed5c30775f0bf 2150 plume-util-java_1.1.0+ds-1.dsc
 589cb5d483d1c2cb05a02419c6911a8859ad5b8c 87220 plume-util-java_1.1.0+ds.orig.tar.xz
 fea70017a6335993917f0924c23bb044232b8e9d 3180 plume-util-java_1.1.0+ds-1.debian.tar.xz
 b321644fd4044e2ca6b794fe9983c26cc4e8de0d 13954 plume-util-java_1.1.0+ds-1_amd64.buildinfo
Checksums-Sha256:
 de00ab57cddf3451b6377241a2f2e46fa2fa71065f5786d421825998afe1e654 2150 plume-util-java_1.1.0+ds-1.dsc
 8760f05866dbea3091032941e0ec8256ce18c15a0735d97b36450033927efec6 87220 plume-util-java_1.1.0+ds.orig.tar.xz
 04b483a5f4436c9c20b834a69aaa21507af3ace93c6e70522d72468bb82769cf 3180 plume-util-java_1.1.0+ds-1.debian.tar.xz
 adcb7d566601ae348118bb9f6ec0b877973595254a73a60d462f5fc59552f90c 13954 plume-util-java_1.1.0+ds-1_amd64.buildinfo
Files:
 2a9e37fd6acf94c6bddf2e051abdd99b 2150 java optional plume-util-java_1.1.0+ds-1.dsc
 5ac7d09677474d9a837a9fe39f6744ca 87220 java optional plume-util-java_1.1.0+ds.orig.tar.xz
 3fe8a83360032ff25775f4a80c9ddb77 3180 java optional plume-util-java_1.1.0+ds-1.debian.tar.xz
 bac148d8e863d76be1d345a4610e4d26 13954 java optional plume-util-java_1.1.0+ds-1_amd64.buildinfo

-----BEGIN PGP SIGNATURE-----

iQIzBAEBCgAdFiEELejiDiSiH9jtG0ynfYPUBqCdweQFAmSwcfQACgkQfYPUBqCd
weQiQRAAivVREPRBL3T87uiNFCRIO8rniKcYDYT7vbyRCQk/srXvMstUxPmqgu/O
UN2YucuLl3xefixv1EfzKNOY9zce9Z6J/UoTx7aZeKOtws3dttB7L5uiUMmNanp1
NtDhza5F5Upu4yq2R3AyGv1k1qxvX7E3srVhQ/amN76r4CMvzbEW5ivmTpxkmBUa
m77eSDKVb8fgfN5bqcpT4riU7GieuI65Dmnap6PT5FfbSMHzZc+l2XYGhoARg94Q
07tpmpNQXpZPan4+Dr/sbVjCA6z4ktpJWuTxt6+p4GPvBFKJ30PxADGt/kokx6gz
88NnEciRrSL1EQp1xn55dwmTxt80Ljvkd5xpzgzb1PwCpk0c3ClD2/vPhS7850e1
8yx1fnZEo6h2+bXfxHSZfvS3A390uK6I+5NgycrERJStlSOQgNa8CU4UrdFMDW2R
nG5OC4qp8nQH6Vr2/OLjvAIFLK9seX+7meKyDQDnnvVCKkp667tCd25RffQSvnuB
9HDOnS8bABqQa+zeD8gXCbgaftUUX7mRaieg+rBkXeRjX5MuKAaqegG2yINLrfIW
tZrMBy7BkPy0oRn2CQiotdPlYqMsiQwOddkB/aczcQrcdjst4XQXIxFKXTZ6e1Xh
Lm0BCSpjYshKD7SC7k7LS+RVK+24zBmKYQ9F6SpcDD30Shnfd3w=
=SOfa
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: