From b83b5d8631ee54bc913b0e6aaf44711c34a50e0d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Henrik=20B=C3=B6ving?= <hargonix@gmail.com>
Date: Thu, 29 Aug 2024 10:20:56 +0200
Subject: [PATCH] deprecation

---
 README.md | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 003b2a6..afc8a7c 100644
--- a/README.md
+++ b/README.md
@@ -1,4 +1,7 @@
-# LeanSAT
+# LeanSAT (deprecated)
+## Deprecation
+This package has been merged into Lean 4 core as `Std.Tactic.BVDecide` with the
+`leanprover/lean4:nightly-2024-08-29` nightly release.
 
 ## Description
 The LeanSAT package is meant to provide an interface and foundation for verified SAT reasoning.