checker-framework-java 3.2.0+ds-1 source package in Ubuntu
Changelog
checker-framework-java (3.2.0+ds-1) unstable; urgency=medium
* New upstream release (Closes: #1021632)
- Refresh patches
* Refresh packaging
- Update d/watch
- Update standards to 4.6.2 (no changes)
- Disable Salsa BLHC due to incorrect non-verbose build error
-- Olek Wojnar <email address hidden> Tue, 03 Jan 2023 10:09:25 -0500
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 | |
|---|---|---|---|---|
| Lunar | release | universe | misc |
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| checker-framework-java_3.2.0+ds-1.dsc | 2.2 KiB | fdcff3287dfb2790c988be81c07dd83985827aedf938b12eb3e98d4a2589ca94 |
| checker-framework-java_3.2.0+ds.orig.tar.xz | 3.4 MiB | 723f1053813258f0898bd8361e82d6f3b6225124550b11e0ecc8e3465ef3666c |
| checker-framework-java_3.2.0+ds-1.debian.tar.xz | 12.9 KiB | 2ff352ef8cfc77fbaf3e9a39345450df24442c8318eb97c5f167891bc66de6c3 |
Available diffs
- diff from 3.0.1+ds2-4 to 3.2.0+ds-1 (229.9 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.
