Source: checker-framework-java Section: java Priority: optional Maintainer: Debian Java Maintainers Uploaders: Olek Wojnar , Andreas Tille , Build-Depends: bnd, debhelper-compat (= 13), default-jdk, gradle-apt-plugin, gradle-debian-helper, libgradle-core-java, libgradle-plugins-java, libplume-util-java, maven-repo-helper, Standards-Version: 4.6.2 Rules-Requires-Root: no Homepage: https://github.com/typetools/checker-framework Vcs-Browser: https://salsa.debian.org/java-team/checker-framework-java Vcs-Git: https://salsa.debian.org/java-team/checker-framework-java.git Package: libchecker-framework-java Architecture: all Multi-Arch: foreign Depends: ${misc:Depends} 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.