checker-framework-java
Framework that makes Java’s type system more powerful and useful

NEW: Take a look at the new package tracker: tracker.debian.org/pkg/checker-framework-java

general

source
checker-framework-java (extra, misc)
version
3.2.0+ds-3
maint
Debian Java Maintainers (a), Olek Wojnar (u), Andreas Tille (u)
std-ver
4.6.2
VCS
Git (browse)

binaries

todo

  • A new upstream version is available: 3.7.0, you should consider packaging it.

bugs

all bug history graph
0
RC
0
I&N
0
M&W
0
F&P
0