Your message dated Sat, 31 Oct 2020 14:10:10 +0000
with message-id <e1kyra6-0005im...@fasolo.debian.org>
and subject line Bug#959832: fixed in checker-framework-java 3.0.1+ds2-1~exp1
has caused the Debian Bug report #959832,
regarding ITP: checker-framework-java -- Framework that enhances Java’s type
system to make it more powerful and useful
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.)
--
959832: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=959832
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Package: wnpp
Severity: wishlist
* Package name : checker-framework-java
Version : 1.8.0
Upstream Author : Checker Framework developers
* URL : https://github.com/typetools/checker-framework
* License : GPL2 w/ classpath exception, MIT, and (LGPL or Apache)
Programming Lang: Java
Description : Framework that makes Java’s type system more powerful and
useful
A "checker" is a tool that warns you about certain errors or gives you a
guarantee that those errors do not occur. The Checker Framework comes with
checkers for 24 specific types of errors.
**********
Dear Prospective Packager,
This package is part of the dependency chain for medical and scientific
community resources that the Debian Med team has identified as relevant to the
COVID-19 pandemic. If you are able to participate in this endeavor [1], your
assistance is greatly appreciated!
-Olek
On behalf of the Debian Bazel Team
[1] https://salsa.debian.org/bazel-team/meta/-/wikis/Workplan-Part-1
--- End Message ---
--- Begin Message ---
Source: checker-framework-java
Source-Version: 3.0.1+ds2-1~exp1
Done: Olek Wojnar <o...@debian.org>
We believe that the bug you reported is fixed in the latest version of
checker-framework-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 959...@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 checker-framework-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: Sun, 25 Oct 2020 21:05:33 -0400
Source: checker-framework-java
Binary: libchecker-framework-java
Architecture: source all
Version: 3.0.1+ds2-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:
libchecker-framework-java - Framework that makes Java’s type system more
powerful and useful
Closes: 959832
Changes:
checker-framework-java (3.0.1+ds2-1~exp1) experimental; urgency=medium
.
* Ephemeral upload to experimental to clear NEW (Closes: #959832)
* Remove additional problematic source file
Checksums-Sha1:
b6ebe738c509965d96f4c1f9e4d1f321832eaca8 2340
checker-framework-java_3.0.1+ds2-1~exp1.dsc
301aff7aebbd8c15472e8a8b012674f24798c1a6 3517932
checker-framework-java_3.0.1+ds2.orig.tar.xz
01241fd6b6c9427d5b8adc078e7e47ee7f755da8 12204
checker-framework-java_3.0.1+ds2-1~exp1.debian.tar.xz
ea9bf1b4b39d075d674316839c35b3aa3bd8d720 14119
checker-framework-java_3.0.1+ds2-1~exp1_amd64.buildinfo
ad7502670515cfc9f4ba48d119bbb9a88398d8a3 3079636
libchecker-framework-java_3.0.1+ds2-1~exp1_all.deb
Checksums-Sha256:
e991c1b07fc2433daab42630254f6ed52c04213e8959f435e6e32430ec5a0012 2340
checker-framework-java_3.0.1+ds2-1~exp1.dsc
feeef9aca9fd463f1d7f6d9bdb26051107b634568bb22672f84ac87647df5687 3517932
checker-framework-java_3.0.1+ds2.orig.tar.xz
2ced2697b2f8c765e3b6c841e2bd0111931cc149139e6b37c5d0f0904401b0d1 12204
checker-framework-java_3.0.1+ds2-1~exp1.debian.tar.xz
aa7700b6665bb278cf0573787bdd7f2915fad4dd7a42f0501ce3790041074a8a 14119
checker-framework-java_3.0.1+ds2-1~exp1_amd64.buildinfo
544b67db4db9bc68f1b4c25c42b711bef8e257220a0b80a73fb24c6741d73d07 3079636
libchecker-framework-java_3.0.1+ds2-1~exp1_all.deb
Files:
544be16462b124da153cfa776791cd38 2340 java optional
checker-framework-java_3.0.1+ds2-1~exp1.dsc
b5cf10075186541ce7b15066cbff8caa 3517932 java optional
checker-framework-java_3.0.1+ds2.orig.tar.xz
d28e8d09b18bf8a15cd2ecb552060148 12204 java optional
checker-framework-java_3.0.1+ds2-1~exp1.debian.tar.xz
a2990a82456837b1553103456d866ffd 14119 java optional
checker-framework-java_3.0.1+ds2-1~exp1_amd64.buildinfo
ff718d8cb47e9d08f5e4242c511779e3 3079636 java optional
libchecker-framework-java_3.0.1+ds2-1~exp1_all.deb
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCgAdFiEELejiDiSiH9jtG0ynfYPUBqCdweQFAl+WJY4ACgkQfYPUBqCd
weTJuA/8CaneEUJF6RNr2ckTNuWQAmCiZ3++0PVcoKnUm6lVyxNREViXCfldBkuw
8VMidkw4a2WKqBv1XBDHdKNL0n20hYcTjagrujHU2zfWWC/uLBlAnjBAZLgil+9z
it+sqLgVvCopU/n4+cYvaSW5J2A0J4cXnkeJLcs5HOTScixWjiPiRBLDW6OJFQM1
0GAIWmjHIGF0hODsrSuuT89/7Ybw/wrWNFHVQD1b1Y3OAnkO37b1buUhKaNgYoez
uJOQ1gkPIx5ySVWgJHdLcnUfrDMrPNsK/zdqlgBU1kSPsEwuvX9yC3udNAj5Q/5j
fiFVnkJxqy5Pqr3Br73iDwGGsktingPb/CAdb4yQsUdxy26Zqxu1OUenBIdftlKC
9ZA8ms4pnyOo2+GubY/1eL2XVU6tuNau7RTCpYmNjDMSjy01AHT4/Ov5kEx4hXLx
LZyWRkdzDnGhzQYrjVqnNhiex+/BXbXdl9KL3rdNehss2484JBLe8q6emFfD+vrG
0X233EWuWIsDBy3SeFuEk2L5vVNzione9PRGC7OFyNhsFYH1rcxSTYhcDOyvJie6
ZrVJiOr4IILv0RvqxwKei2Sd8a3yorjHJ3JBaMZ37G/WhBGo+phRDKSPPAUTfEUy
BYsKwNnwYbCptvkn1wlDXJMiAtUpZ1w33oLOel2JmPQ4JMG7JVo=
=5nfr
-----END PGP SIGNATURE-----
--- End Message ---
