From 42990c3985e749a3175baa8b8a04606ff4e41ce1 Mon Sep 17 00:00:00 2001
From: bruderj15 <julian.bruder@outlook.com>
Date: Fri, 29 Nov 2024 13:33:24 +0100
Subject: [PATCH] debugger: bump version

---
 CHANGELOG.md   | 5 +++++
 hasmtlib.cabal | 2 +-
 2 files changed, 6 insertions(+), 1 deletion(-)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index a2fbef0..78f9ac7 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -6,6 +6,11 @@ file.
 The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/),
 and this project adheres to [PVP versioning](https://pvp.haskell.org/).
 
+## v2.8.1 _(2024-11-29)_
+
+### Added
+- Added instances `Semigroup`, `Monoid` and `Contravariant` for `Debugger`
+
 ## v2.8.0 _(2024-11-28)_
 
 ### Changed
diff --git a/hasmtlib.cabal b/hasmtlib.cabal
index fed6fd9..0ed1aa4 100644
--- a/hasmtlib.cabal
+++ b/hasmtlib.cabal
@@ -1,7 +1,7 @@
 cabal-version:         3.0
 
 name:                  hasmtlib
-version:               2.8.0
+version:               2.8.1
 synopsis:              A monad for interfacing with external SMT solvers
 description:           Hasmtlib is a library for generating SMTLib2-problems using a monad.
   It takes care of encoding your problem, marshaling the data to an external solver and parsing and interpreting the result into Haskell types.