checker-framework-java 3.0.1+ds2-4 source package in Ubuntu
Changelog
checker-framework-java (3.0.1+ds2-4) unstable; urgency=medium * Fix watch file * debian/copyright: use spaces rather than tabs to start continuation lines. * Set upstream metadata fields: Bug-Submit. * Update standards version to 4.6.1, no changes needed. * Add debian/salsa-ci.yml * Homepage is not in the list of fields for upstream metadata -- Andreas Tille <email address hidden> Wed, 30 Nov 2022 19:32:17 +0100
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 |
|---|
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| checker-framework-java_3.0.1+ds2-4.dsc | 2.2 KiB | 4e5fbf24021713bdafaf48a582b3a858a5ecff55f1be8b38cbda3c0c26032160 |
| checker-framework-java_3.0.1+ds2.orig.tar.xz | 3.4 MiB | feeef9aca9fd463f1d7f6d9bdb26051107b634568bb22672f84ac87647df5687 |
| checker-framework-java_3.0.1+ds2-4.debian.tar.xz | 12.3 KiB | 093557ad21cb95b0bb4b1a47de40f2a0867088f9758cc578beac44cf487dfb0b |
Available diffs
- diff from 3.0.1+ds2-3 to 3.0.1+ds2-4 (1.4 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.
