From 5b1392af4fd6f03ade268c90fc56a04e545f503e Mon Sep 17 00:00:00 2001
From: Robin Mueller <muellerr@irs.uni-stuttgart.de>
Date: Tue, 30 Apr 2024 15:43:13 +0200
Subject: [PATCH] update cargo.lock

---
 Cargo.lock | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/Cargo.lock b/Cargo.lock
index 18e967e..63cc8de 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -144,9 +144,9 @@ checksum = "1fd0f2584146f6f2ef48085050886acf353beff7305ebd1ae69500e27c67f64b"
 
 [[package]]
 name = "cc"
-version = "1.0.95"
+version = "1.0.96"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "d32a725bc159af97c3e629873bb9f88fb8cf8a4867175f76dc987815ea07c83b"
+checksum = "065a29261d53ba54260972629f9ca6bffa69bac13cd1fed61420f7fa68b9f8bd"
 
 [[package]]
 name = "cfg-if"
@@ -776,13 +776,14 @@ checksum = "e86697c916019a8588c99b5fac3cead74ec0b4b819707a682fd4d23fa0ce1ba1"
 [[package]]
 name = "satrs"
 version = "0.2.0-rc.5"
-source = "git+https://egit.irs.uni-stuttgart.de/rust/sat-rs.git?branch=main#c7a74a844ce7894a87d6765f0ada4a8b95ecc545"
+source = "git+https://egit.irs.uni-stuttgart.de/rust/sat-rs.git?branch=main#29f71c2a571e7492cf5d997d4c11c3f844de83bc"
 dependencies = [
  "bus",
  "cobs",
  "crc",
  "crossbeam-channel",
  "delegate",
+ "derive-new",
  "downcast-rs",
  "dyn-clone",
  "hashbrown",