Bug#959832: RFP: checker-framework-java -- Framework that enhances Java’s type system to make it more powerful and useful
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
Reply to: