sat4j (2.3.6-1build1) resolute; urgency=medium

  * No-change mass rebuild for Ubuntu 26.04 (LP: #2132257)

 -- Sebastien Bacher <seb128@debian.org>  Thu, 29 Jan 2026 21:58:34 +0100

sat4j (2.3.6-1) unstable; urgency=medium

  * Team upload.
  * Maintain package in Debian Science team
    Closes: #1092952
  * d/rules: This is not an example
  * Fix watch file
  * New upstream version
  * Standards-Version: 4.7.0 (routine-update)
  * debhelper-compat 13 (routine-update)
  * Do not parse d/changelog (routine-update)
  * Trim trailing whitespace.
  * Use secure URI in Homepage field.
  * d/copyright: DEP5

 -- Andreas Tille <tille@debian.org>  Mon, 03 Feb 2025 16:10:08 +0100

sat4j (2.3.5-0.3) unstable; urgency=medium

  * Non-maintainer upload.
  * Add encoding.patch and fix FTBFS with Java 9. (Closes: #893411)

 -- Markus Koschany <apo@debian.org>  Fri, 13 Apr 2018 18:54:47 +0200

sat4j (2.3.5-0.2) unstable; urgency=medium

  * Non-maintainer upload.
  * Re-enabled javahelper to properly compute the package dependencies
  * Added symlinks to the old /usr/share/java/org.sat4j.*.jar files
    to preserve the backward compatibility

 -- Emmanuel Bourg <ebourg@apache.org>  Fri, 04 Nov 2016 23:10:51 +0100

# Older entries have been removed from this changelog.
# To read the complete changelog use `apt changelog sat4j`.
