1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
|
Source: checker-framework-java
Section: java
Priority: optional
Maintainer: Debian Java Maintainers <pkg-java-maintainers@lists.alioth.debian.org>
Uploaders:
Olek Wojnar <olek@debian.org>,
Andreas Tille <tille@debian.org>,
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.
|
