checker-framework-java 3.2.0+ds-3 source package in Ubuntu
Changelog
checker-framework-java (3.2.0+ds-3) unstable; urgency=medium * Team upload [ Pushkar Kulkarni ] * Fix javac-21 compiler warnings (Closes: #1052474) [ tony mancill ] * Fix FTBFS twice in a row (Closes: #1043754) -- tony mancill <email address hidden> Wed, 08 Nov 2023 21:12:11 -0800
Upload details
- Uploaded by:
- Debian Java Maintainers
- Uploaded to:
- Sid
- Original maintainer:
- Debian Java Maintainers
- Architectures:
- all
- Section:
- misc
- Urgency:
- Medium Urgency
See full publishing history Publishing
Series | Published | Component | Section | |
---|---|---|---|---|
Oracular | release | universe | misc | |
Noble | release | universe | misc |
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
checker-framework-java_3.2.0+ds-3.dsc | 2.3 KiB | 500fb231b0bcc844876b2f152e99102066dc46ca843d5df6818537ecf177bbb9 |
checker-framework-java_3.2.0+ds.orig.tar.xz | 3.4 MiB | 723f1053813258f0898bd8361e82d6f3b6225124550b11e0ecc8e3465ef3666c |
checker-framework-java_3.2.0+ds-3.debian.tar.xz | 14.3 KiB | 8a863ffac6e8cb7058d745012c8f1fbd3fd30ff7247f4da427daa63d590704bf |
Available diffs
- diff from 3.2.0+ds-2 to 3.2.0+ds-3 (1.3 KiB)
No changes file available.
Binary packages built by this source
- libchecker-framework-java: 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.