cvc5 (1.3.2-1build1) resolute; urgency=medium

  * No-change rebuild with Python 3.14 as default

 -- Graham Inggs <ginggs@ubuntu.com>  Fri, 23 Jan 2026 14:45:16 +0000

cvc5 (1.3.2-1) unstable; urgency=medium

  [ Gábor Németh ]
  * Update to new upstream release 1.3.2 (Closes: #1074235 #1122401)
  * Bump CaDiCaL dependency to 2.1 as per upstream
  * Adapt patches to changed upstream build of Python bindings,
    remove applied
  * Use newer API calls in autopkgtest
  * Generate a man page
  * Fix typos found by lintian

 -- Scott Talbert <swt@techie.net>  Tue, 23 Dec 2025 19:41:53 -0500

cvc5 (1.1.2-3) unstable; urgency=medium

  * Team Upload
  * Fix Team email address
  * Drop dependency on python3-toml

 -- Alexandre Detiste <tchet@debian.org>  Sun, 27 Jul 2025 13:13:23 +0200

cvc5 (1.1.2-2) unstable; urgency=medium

  * Update debug and rpath patches to be more upstreamable
  * Use default linker (instead of gold) to fix FTBFS on mips64el
  * Mark libcvc5-devel Multi-Arch:same
  * Run dh_auto_clean for pybuild to fix build after build (Closes: #1044976)

 -- Scott Talbert <swt@techie.net>  Mon, 18 Mar 2024 20:06:23 -0400

cvc5 (1.1.2-1) unstable; urgency=medium

  * Update to new upstream release 1.1.2

 -- Scott Talbert <swt@techie.net>  Sat, 02 Mar 2024 20:01:51 -0500

cvc5 (1.1.1-1) unstable; urgency=medium

  * Update to new upstream release 1.1.1
  * Fix FTBFS with CLN 1.3.7
  * Build-Depends: pkg-config => pkgconf

 -- Scott Talbert <swt@techie.net>  Sun, 11 Feb 2024 21:10:35 -0500

cvc5 (1.0.8-1) unstable; urgency=medium

  * Update to new upstream release 1.0.8

 -- Scott Talbert <swt@techie.net>  Fri, 17 Nov 2023 22:36:55 -0500

cvc5 (1.0.5-3) unstable; urgency=medium

  * Post-NEW source-only upload

 -- Scott Talbert <swt@techie.net>  Fri, 23 Jun 2023 15:50:35 -0400

cvc5 (1.0.5-2) unstable; urgency=medium

  * Build Python bindings (Closes: #1034268)

 -- Scott Talbert <swt@techie.net>  Thu, 22 Jun 2023 15:58:34 -0400

cvc5 (1.0.5-1) unstable; urgency=medium

  * Update to new upstream release 1.0.5 (Closes: #1037616)
  * Update Standards-Version to 4.6.2 (no changes needed)
  * Rules-Requires-Root: no

 -- Scott Talbert <swt@techie.net>  Tue, 20 Jun 2023 12:11:06 -0400

cvc5 (1.0.3-1) unstable; urgency=medium

  * Update to new upstream release 1.0.3
  * Update missing shared library patch

 -- Scott Talbert <swt@techie.net>  Mon, 19 Dec 2022 20:35:50 -0500

cvc5 (1.0.2-2) unstable; urgency=medium

  * Fix autopkgtests

 -- Scott Talbert <swt@techie.net>  Sat, 17 Dec 2022 16:56:42 -0500

cvc5 (1.0.2-1) unstable; urgency=medium

  * Initial release. (Closes: #1007981)

 -- Scott Talbert <swt@techie.net>  Thu, 01 Dec 2022 18:44:45 -0500
