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 MD5sum: d4573a0e7eb61aebc5979aa5acdeabd7 SHA1: aa6898d437a9d10375f618f1036c0a136f28d10f SHA256: b5ea66a2c880d370cb0010b2ac731892c449f4047f0c607e3fc9e98e552c5c1c 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