cadical (2.1.3-3) unstable; urgency=medium

  * Team Upload
  * Fix Team email address
  * Add debian/salsa-ci.yml
  * Drop "Rules-Requires-Root: no": this is the default now
  * Bump Standards-Version to 4.7.3, drop Priority: tag

 -- Alexandre Detiste <tchet@debian.org>  Mon, 23 Mar 2026 13:32:22 +0100

cadical (2.1.3-2) unstable; urgency=medium

  * Extend test timeout to fix FTBFS on riscv64 (Closes: #1122627)
  * Update Standards-Version to 4.7.2 (no changes needed)

 -- Scott Talbert <swt@techie.net>  Sun, 14 Dec 2025 20:04:17 -0500

cadical (2.1.3-1) unstable; urgency=medium

  * Update to new upstream release 2.1.3
  * Update ldflags patch to new upstream
  * Expose tracer.hpp & move headers around

 -- Gábor Németh <homar@riseup.net>  Fri, 07 Nov 2025 08:37:07 +0000

cadical (1.7.4-1) unstable; urgency=medium

  * Update to new upstream release 1.7.4
  * Update Standards-Version to 4.6.2
  * Mark patch as forwarded
  * Clean manpages to fix source build after build (Closes: #1043602)
  * Mark libcadical-dev Multi-Arch: same
  * Update ldflags patch to set CPPFLAGS also

 -- Scott Talbert <swt@techie.net>  Sat, 10 Feb 2024 23:08:27 -0500

cadical (1.5.3-2) unstable; urgency=medium

  * Rebuild with -fPIC

 -- Scott Talbert <swt@techie.net>  Sun, 13 Nov 2022 20:04:19 -0500

cadical (1.5.3-1) unstable; urgency=medium

  * Initial release

 -- Scott Talbert <swt@techie.net>  Tue, 01 Nov 2022 14:47:18 -0400
