checker-framework-java 3.2.0+ds-3build1 source package in Ubuntu
Changelog
checker-framework-java (3.2.0+ds-3build1) resolute; urgency=medium * No-change mass rebuild for Ubuntu 26.04 (LP: #2132257) -- Graham Inggs <email address hidden> Wed, 10 Dec 2025 20:36:33 +0000
Upload details
- Uploaded by:
- Graham Inggs
- Uploaded to:
- Resolute
- Original maintainer:
- Debian Java Maintainers
- Architectures:
- all
- Section:
- misc
- Urgency:
- Medium Urgency
See full publishing history Publishing
| Series | Published | Component | Section | |
|---|---|---|---|---|
| Resolute | release | universe | misc |
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| checker-framework-java_3.2.0+ds.orig.tar.xz | 3.4 MiB | 723f1053813258f0898bd8361e82d6f3b6225124550b11e0ecc8e3465ef3666c |
| checker-framework-java_3.2.0+ds-3build1.debian.tar.xz | 14.4 KiB | 44fe70de55dcb22f5c6c7ebe42d7827164faccae37987b04829ef198910a7422 |
| checker-framework-java_3.2.0+ds-3build1.dsc | 2.3 KiB | 69df86ec989a8eb97aecacd3b85f318ee55cac4528be36151b5f0a002dee74ab |
Available diffs
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.
