checker-framework-java 3.2.0+ds-2 source package in Ubuntu
Changelog
checker-framework-java (3.2.0+ds-2) unstable; urgency=medium
* Build dataflow and javacutil modules
- New build-dependency on libplume-util-java
- Added deprecated-getexpression.patch due to older Java code
* Reenable building of checker-qual-android module
-- Olek Wojnar <email address hidden> Fri, 14 Apr 2023 16:13:02 -0400
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 | |
|---|---|---|---|---|
| Mantic | release | universe | misc |
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| checker-framework-java_3.2.0+ds-2.dsc | 2.2 KiB | 5e3981c99ebb7a3d6d7a373a7c3c504c59a698ec92f6bb245551b55328026d9d |
| checker-framework-java_3.2.0+ds.orig.tar.xz | 3.4 MiB | 723f1053813258f0898bd8361e82d6f3b6225124550b11e0ecc8e3465ef3666c |
| checker-framework-java_3.2.0+ds-2.debian.tar.xz | 13.7 KiB | 12a6279edf3d25c19f882553012ab49e243cb0908f9b31f683b3822fda2eb6cb |
Available diffs
- diff from 3.2.0+ds-1 to 3.2.0+ds-2 (3.2 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.
