Package: libchecker-framework-java Source: checker-framework-java Priority: optional Section: universe/java Installed-Size: 4171 Maintainer: Ubuntu Developers Architecture: all Version: 3.2.0+ds-4 Filename: pool/universe/c/checker-framework-java/libchecker-framework-java_3.2.0+ds-4_all.deb Size: 3426492 SHA512: 01a4dc233c45d1def2da7fc4fb4ff2f5f4743711fcd2cb12761f09e453978b0f8018ce1a6a0b63955487608dd93c41fefb617aa6cec79dd01c080e5efc80ad89 Homepage: https://github.com/typetools/checker-framework Description: Framework that makes Java’s type system more powerful and useful Description-md5: 22e29c3901d8007ba362747f54494cc0 Original-Maintainer: Debian Java Maintainers Multi-Arch: foreign Origin: Ubuntu Bugs: https://bugs.launchpad.net/ubuntu/+filebug