haskell-copilot-theorem (4.0-2) unstable; urgency=medium

  [ Ilias Tsitsimpis ]
  * Declare compliance with Debian policy 4.7.0

  [ Scott Talbert ]
  * Sourceful upload for GHC 9.6

 -- Scott Talbert <swt@techie.net>  Sun, 22 Sep 2024 16:47:57 -0400

haskell-copilot-theorem (4.0-1) unstable; urgency=medium

  * New upstream release

 -- Scott Talbert <swt@techie.net>  Tue, 10 Sep 2024 22:51:18 -0400

haskell-copilot-theorem (3.19.1-1) unstable; urgency=medium

  * New upstream release

 -- Scott Talbert <swt@techie.net>  Mon, 08 Jul 2024 22:36:31 -0400

haskell-copilot-theorem (3.18.1-2) unstable; urgency=medium

  * Add z3 as BD to fix tests

 -- Scott Talbert <swt@techie.net>  Mon, 08 Jan 2024 22:35:41 -0500

haskell-copilot-theorem (3.18.1-1) unstable; urgency=medium

  * New upstream release

 -- Scott Talbert <swt@techie.net>  Mon, 08 Jan 2024 20:10:01 -0500

haskell-copilot-theorem (3.17-1) unstable; urgency=medium

  * New upstream release

 -- Scott Talbert <swt@techie.net>  Mon, 13 Nov 2023 20:17:23 -0500

haskell-copilot-theorem (3.16.1-1) unstable; urgency=medium

  * Declare compliance with Debian policy 4.6.2
  * New upstream release (Closes: #1054954)

 -- Ilias Tsitsimpis <iliastsi@debian.org>  Sun, 05 Nov 2023 13:12:31 +0200

haskell-copilot-theorem (3.13-1) unstable; urgency=medium

  * New upstream release

 -- Scott Talbert <swt@techie.net>  Mon, 09 Jan 2023 19:39:57 -0500

haskell-copilot-theorem (3.12-1) unstable; urgency=medium

  * New upstream release

 -- Scott Talbert <swt@techie.net>  Tue, 08 Nov 2022 19:19:44 -0500

haskell-copilot-theorem (3.11-1) unstable; urgency=medium

  * New upstream release

 -- Scott Talbert <swt@techie.net>  Thu, 06 Oct 2022 19:30:07 -0400

haskell-copilot-theorem (3.10-2) unstable; urgency=medium

  * Post-NEW source-only upload

 -- Scott Talbert <swt@techie.net>  Mon, 12 Sep 2022 19:20:35 -0400

haskell-copilot-theorem (3.10-1) unstable; urgency=low

  * Initial release

 -- Scott Talbert <swt@techie.net>  Thu, 18 Aug 2022 16:30:34 -0400