haskell-copilot-libraries (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 Sun, 22 Sep 2024 16:49:32 -0400 haskell-copilot-libraries (4.0-1) unstable; urgency=medium * New upstream release -- Scott Talbert Tue, 10 Sep 2024 22:54:51 -0400 haskell-copilot-libraries (3.19.1-1) unstable; urgency=medium * New upstream release -- Scott Talbert Mon, 08 Jul 2024 22:40:05 -0400 haskell-copilot-libraries (3.18.1-2) unstable; urgency=medium * Add z3 as BD to fix tests -- Scott Talbert Tue, 09 Jan 2024 10:11:53 -0500 haskell-copilot-libraries (3.18.1-1) unstable; urgency=medium * New upstream release -- Scott Talbert 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 Mon, 13 Nov 2023 20:08:48 -0500 haskell-copilot-libraries (3.13-1) unstable; urgency=medium * New upstream release -- Scott Talbert Mon, 09 Jan 2023 19:37:09 -0500 haskell-copilot-libraries (3.12-1) unstable; urgency=medium * New upstream release -- Scott Talbert Tue, 08 Nov 2022 19:17:25 -0500 haskell-copilot-libraries (3.11-1) unstable; urgency=medium * New upstream release -- Scott Talbert Thu, 06 Oct 2022 19:48:19 -0400 haskell-copilot-libraries (3.10-2) unstable; urgency=medium * Post-NEW source-only upload -- Scott Talbert Wed, 05 Oct 2022 22:21:32 -0400 haskell-copilot-libraries (3.10-1) unstable; urgency=low * Initial release -- Scott Talbert Sun, 02 Oct 2022 18:15:17 -0400