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

  * Add z3 as BD to fix tests

 -- Scott Talbert <swt@techie.net>  Tue, 09 Jan 2024 10:11:53 -0500

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

  * New upstream release

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

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

  [ Ilias Tsitsimpis ]
  * Declare compliance with Debian policy 4.6.2

  [ Scott Talbert ]
  * New upstream release

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

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

  * New upstream release

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

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

  * New upstream release

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

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

  * New upstream release

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

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

  * Post-NEW source-only upload

 -- Scott Talbert <swt@techie.net>  Wed, 05 Oct 2022 22:21:32 -0400

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

  * Initial release

 -- Scott Talbert <swt@techie.net>  Sun, 02 Oct 2022 18:15:17 -0400