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
)
versions
oldstable
3.0.1+ds2-3
stable
3.2.0+ds-1
testing
3.2.0+ds-3
unstable
3.2.0+ds-3
Ubuntu
3.2.0+ds-3
binaries
libchecker-framework-java
(
0 bugs
:
0
,
0
,
0
,
0
)
Framework that makes Java’s type system more powerful and useful
todo
A new upstream version is available:
3.7.0
, you should consider packaging it.
news
RSS
[2023-11-14]
checker-framework-java 3.2.0+ds-3 MIGRATED to testing
(Britney)
[2023-11-09]
Accepted 3.2.0+ds-3 in unstable (medium)
(Debian FTP Masters)
[2023-07-21]
checker-framework-java 3.2.0+ds-2 MIGRATED to testing
(Britney)
[2023-07-14]
Accepted 3.2.0+ds-2 in unstable (medium)
(Debian FTP Masters)
[2023-01-09]
checker-framework-java 3.2.0+ds-1 MIGRATED to testing
(Britney)
[2023-01-03]
Accepted 3.2.0+ds-1 in unstable (medium)
(Debian FTP Masters)
[2022-12-06]
checker-framework-java 3.0.1+ds2-4 MIGRATED to testing
(Britney)
[2022-11-30]
Accepted 3.0.1+ds2-4 in unstable (medium)
(Debian FTP Masters)
[2021-01-28]
checker-framework-java 3.0.1+ds2-3 MIGRATED to testing
(Britney)
[2021-01-22]
Accepted 3.0.1+ds2-3 in unstable (medium)
(Debian FTP Masters)
[2020-11-08]
checker-framework-java 3.0.1+ds2-2 MIGRATED to testing
(Britney)
[2020-11-02]
Accepted 3.0.1+ds2-2 in unstable (high)
(Debian FTP Masters)
[2020-10-31]
Accepted 3.0.1+ds2-1 in unstable (medium)
(Debian FTP Masters)
[2020-10-31]
Accepted 3.0.1+ds1-1~exp1 in experimental (medium)
(Debian FTP Masters)
[2020-10-31]
Accepted 3.0.1+ds2-1~exp1 in experimental (medium)
(Debian FTP Masters)
bugs
all
0
RC
0
I&N
0
M&W
0
F&P
0
links
homepage
changelog
/
copyright
buildd:
logs
,
clang
lintian
popcon
debtags
screenshots
RDF meta-data
browse source code
patches
Debian
3.0.1+ds2-3
3.2.0+ds-1
3.2.0+ds-3
3.2.0+ds-3