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

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 <tille@debian.org>  Wed, 30 Nov 2022 19:32:17 +0100

checker-framework-java (3.0.1+ds2-3) unstable; urgency=medium

  * Update standards to 4.5.1 (no changes)
  * Declare Multi-Arch: foreign

 -- Olek Wojnar <olek@debian.org>  Fri, 22 Jan 2021 13:33:33 -0500

checker-framework-java (3.0.1+ds2-2) unstable; urgency=high

  * Temporarily eliminate build of Android artifact
    - Will re-introduce once Kotlin allows build of Android dependencies

 -- Olek Wojnar <olek@debian.org>  Mon, 02 Nov 2020 14:45:01 -0500

checker-framework-java (3.0.1+ds2-1) unstable; urgency=medium

  * Remove additional problematic source file

 -- Olek Wojnar <olek@debian.org>  Sun, 25 Oct 2020 21:05:33 -0400

checker-framework-java (3.0.1+ds1-1) unstable; urgency=medium

  * Correct additional licensing concerns identified by FTP Team

 -- Olek Wojnar <olek@debian.org>  Thu, 22 Oct 2020 14:17:16 -0400

checker-framework-java (3.0.1+ds-1) unstable; urgency=medium

  * Initial release (Closes: #959832)
  * Provide additional information about authors
  * Restore Gradle build system
  * Backport license clarifications from upstream in d/copyright
    - https://github.com/typetools/checker-framework/issues/3429

 -- Olek Wojnar <olek@debian.org>  Wed, 15 Jul 2020 16:06:07 -0400
