From 330fce71253d277623cdcfeb0466f4100690fdc7 Mon Sep 17 00:00:00 2001
From: Christoph Jabs <christoph.jabs@helsinki.fi>
Date: Tue, 22 Aug 2023 13:27:14 +0300
Subject: [PATCH] fix cadical depency

---
 Cargo.toml |  2 +-
 README.md  | 12 +++++++++++-
 build.rs   |  2 +-
 3 files changed, 13 insertions(+), 3 deletions(-)

diff --git a/Cargo.toml b/Cargo.toml
index d2532af9..0cec6008 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "rustsat"
-version = "0.1.1"
+version = "0.1.2"
 edition = "2021"
 authors = ["Christoph Jabs <christoph.jabs@helsinki.fi>"]
 license = "MIT"
diff --git a/README.md b/README.md
index dc70e307..9c2a1dd7 100644
--- a/README.md
+++ b/README.md
@@ -7,4 +7,14 @@ The focus of the library is to provide as much ease of use without giving up on
 
 For example useage refer to the small example tools in the examples directory.
 For a bigger example you can look at this [multi-objective optimization
-solver](https://github.com/chrjabs/pminimal-rs).
\ No newline at end of file
+solver](https://github.com/chrjabs/pminimal-rs).
+
+## Versions
+
+### Version 0.1.2
+
+Updated initial version with working dependencies
+
+### Version 0.1.0 and 0.1.1
+
+Yankes because of dependencies that don't exist anymore
diff --git a/build.rs b/build.rs
index 3cb94e62..b377a270 100644
--- a/build.rs
+++ b/build.rs
@@ -33,7 +33,7 @@ fn main() {
     build_cadical(
         "https://github.com/chrjabs/cadical.git",
         "master",
-        "fa75b442e9b0d52668e0f5d75bd026ba39cde2fa",
+        "e7433d7b68c2f173b9ea4dc968c4784c8e7a4887",
     );
     build_kissat(
         "https://github.com/arminbiere/kissat.git",