From 87d6e49513e19d30fb7f7cd81a59d61e63eed339 Mon Sep 17 00:00:00 2001
From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com>
Date: Sun, 13 Oct 2024 19:28:48 +0000
Subject: [PATCH 1/3] Bump pre-commit from 3.8.0 to 4.0.1 (#717)

---
 dev-requirements.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-requirements.txt b/dev-requirements.txt
index f9c2b4a4e..4b845fe28 100644
--- a/dev-requirements.txt
+++ b/dev-requirements.txt
@@ -1,6 +1,6 @@
 black==24.8.0
 coverage==7.6.1
-pre-commit==3.8.0
+pre-commit==4.0.1
 pytest-cov==5.0.0
 pytest-xdist==3.6.1
 pytest==8.3.3

From ff52bcc2a6b0abd50d19267a05d71413c0b31a93 Mon Sep 17 00:00:00 2001
From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com>
Date: Sun, 13 Oct 2024 16:25:29 -0400
Subject: [PATCH 2/3] Bump build from 1.2.2 to 1.2.2.post1 (#714)

---
 requirements.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/requirements.txt b/requirements.txt
index ed467db0d..87a68067b 100644
--- a/requirements.txt
+++ b/requirements.txt
@@ -1,6 +1,6 @@
 PySMT==0.9.6
 asdl-adt==0.1.0
 asdl==0.1.5
-build==1.2.2
+build==1.2.2.post1
 z3-solver==4.13.2.0
 yapf==0.40.2

From e4232bf57ed4d509d3e88cb3dbabda92f8209803 Mon Sep 17 00:00:00 2001
From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com>
Date: Sun, 13 Oct 2024 16:25:50 -0400
Subject: [PATCH 3/3] Bump numpy from 2.1.1 to 2.1.2 (#715)

---
 dev-requirements.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-requirements.txt b/dev-requirements.txt
index 4b845fe28..f735badda 100644
--- a/dev-requirements.txt
+++ b/dev-requirements.txt
@@ -5,5 +5,5 @@ pytest-cov==5.0.0
 pytest-xdist==3.6.1
 pytest==8.3.3
 tox==4.21.2
-numpy==2.1.1
+numpy==2.1.2
 Pillow==10.4.0