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

Bug#959832: marked as done (ITP: checker-framework-java -- Framework that enhances Java’s type system to make it more powerful and useful)

Your message dated Sat, 31 Oct 2020 14:10:10 +0000
with message-id <E1kYra6-0005IV-Fw@fasolo.debian.org>
and subject line Bug#959832: fixed in checker-framework-java 3.0.1+ds1-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 owner@bugs.debian.org
immediately.)


-- 
959832: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=959832
Debian Bug Tracking System
Contact owner@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+ds1-1~exp1
Done: Olek Wojnar <olek@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 959832@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 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 ftpmaster@ftp-master.debian.org)


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Thu, 22 Oct 2020 14:17:16 -0400
Source: checker-framework-java
Binary: libchecker-framework-java
Architecture: source all
Version: 3.0.1+ds1-1~exp1
Distribution: experimental
Urgency: medium
Maintainer: Debian Java Maintainers <pkg-java-maintainers@lists.alioth.debian.org>
Changed-By: Olek Wojnar <olek@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+ds1-1~exp1) experimental; urgency=medium
 .
   * Ephemeral upload to experimental to clear NEW (Closes: #959832)
   * Correct additional licensing concerns identified by FTP Team
Checksums-Sha1:
 adfe375b9d8d60c4e7e7b0b86a711e938dfb980f 2340 checker-framework-java_3.0.1+ds1-1~exp1.dsc
 8127c297f9a433e9823a7523904e72458353e315 3517916 checker-framework-java_3.0.1+ds1.orig.tar.xz
 57afbb571f2d270f125fc29a31e82db9a938b68e 12148 checker-framework-java_3.0.1+ds1-1~exp1.debian.tar.xz
 7a1e2ee5dada42e567b4184472dde52071951b21 14119 checker-framework-java_3.0.1+ds1-1~exp1_amd64.buildinfo
 aa8c3da8895980035936de5f25ebf1b670f115dc 3079572 libchecker-framework-java_3.0.1+ds1-1~exp1_all.deb
Checksums-Sha256:
 3ef8218cab2f99b6a2be3bd1a7a4102eed393269f14c1f7795c84b4ef29b97a0 2340 checker-framework-java_3.0.1+ds1-1~exp1.dsc
 8f37d3b6771dfd24b0e2e101da8309a9f63642b32723f693757305d3ce50e2ac 3517916 checker-framework-java_3.0.1+ds1.orig.tar.xz
 e4f1ddf394daba1f4c3f3d3418230d1cfb04a6ae9ad83b4e0a8b81e33f5bd6f1 12148 checker-framework-java_3.0.1+ds1-1~exp1.debian.tar.xz
 11a7ba0289b22dd38af93782a9cf64522d7d07b13d4a4e039416b2e3d4bf219c 14119 checker-framework-java_3.0.1+ds1-1~exp1_amd64.buildinfo
 e1047aa698514c69a5ee5eb88155a80e68f4175eb67f7e5757eac645cbe78e01 3079572 libchecker-framework-java_3.0.1+ds1-1~exp1_all.deb
Files:
 19807ac23fe2f533842f6e960af5acb3 2340 java optional checker-framework-java_3.0.1+ds1-1~exp1.dsc
 a83ad13b84e42a706343c32f61c47922 3517916 java optional checker-framework-java_3.0.1+ds1.orig.tar.xz
 5bfbd257bb590011aa7832226e9b57b0 12148 java optional checker-framework-java_3.0.1+ds1-1~exp1.debian.tar.xz
 e6602fe9397bd3b04ac77d2461df1c4e 14119 java optional checker-framework-java_3.0.1+ds1-1~exp1_amd64.buildinfo
 c4ad4227c70d9670081504f25ea66a1c 3079572 java optional libchecker-framework-java_3.0.1+ds1-1~exp1_all.deb

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

iQIzBAEBCgAdFiEELejiDiSiH9jtG0ynfYPUBqCdweQFAl+R6kMACgkQfYPUBqCd
weTYVw/8Dmz93JufPcU/gUJJ+WUJnz6UDq8zv7Eb24FD0AY4NUApICjpbCCXFbPX
cOvwbRxG9VEiBaxa7pTmFP0/bk19TF1J2CN1j80HEfh3/q2PPD8lNHOf5aSOUtEH
jcj3FiktBrgMmXrJCW4h6/C/4/1MMbP4PSH+eg+SxT1PzVnDwAOeYbY+h5bV7l2e
chWILs/aDQMp56kiFIUkyeBTbU3q+BP2xiHRFeg0+64LG5KyzSWrVaCjEMIBD9Bv
f0bVxb1If4gpXCxuInuKl9z68gxBwUAez/qxve5YrstlPDMAcacEZ4Xa8bzaZKgX
R+lQfuUDh1eURG3CKdomFRgiHYSVBQiiRPcckOTRnbeNpunvQ7JnXEWf0JVP4/aI
Dyd+IM/zvQLchW5Sii5/3J/JfIGwlcxKoU5lQW1R0AY4c4lJh0AwTySMI1nrWa7k
s5q0zZ/F/YrhMzQtPFoZ+lpMQ1NrSmdAv2wBVEJe/s4fT1R/MHv8f7PGMWsiludG
SoqdEgKrE6ft1TqJhqQtIoi+mL8PqvIOQ9/qGaQLY2uQS0dGQVcSJwKNtYl6/89X
bVwdenUeerqzfl3NwMrRN+bRK3neXmIyYqnFdooHdnBdZpKaK2I1JJAAgWGUnJaH
TCAIN/ALYeLPJBMOYEOGvEOtuuy87H8PcSe6CDPd+qQ4NNAvmgE=
=ldJL
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: