libchecker-framework-java 3.0.1+ds2-3 (amd64 binary) in ubuntu kinetic

 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.

Details

Package version:
3.0.1+ds2-3
Source:
checker-framework-java 3.0.1+ds2-3 source package in Ubuntu
Status:
Obsolete
Component:
universe
Priority:
Optional

Package relationships