checker-framework-java (3.2.0+ds-4) unstable; urgency=medium

  [ Vladimir Petko ]
  * Cherry-pick upstream patches to resolve Java 25 ftbfs
    (LP: #2142432) (Closes: #1128165):
    - d/p/improve-attribute-equals.patch
    - d/p/java25-compat.patch
    - d/p/prevent-duplicate-annotations-in-class-files.patch

  [ Olek Wojnar ]
  * Enable shadow jars
  * Update d/watch to version 5
  * Move appropriate Build-Depends to Build-Depends-Indep
    - Prevent gbp dependency issues when running `clean`
  * Replace Free Software Foundation address with URL
  * Bump standards to 4.7.3: Remove d/control Priority field
  * Remove redundant "Rules-Requires-Root: no" in d/control
  * Remove unneeded source lintian override
    - Previously necessary due to lintian bug that is now fixed

 -- Olek Wojnar <olek@debian.org>  Sun, 22 Mar 2026 23:12:44 -0400

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 <tmancill@debian.org>  Wed, 08 Nov 2023 21:12:11 -0800

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 <olek@debian.org>  Fri, 14 Apr 2023 16:13:02 -0400

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 <olek@debian.org>  Tue, 03 Jan 2023 10:09:25 -0500

# Older entries have been removed from this changelog.
# To read the complete changelog use `apt changelog libchecker-framework-java`.
