diff --git a/kissat/README.md b/kissat/README.md
index 5fd04177..beedd70c 100644
--- a/kissat/README.md
+++ b/kissat/README.md
@@ -21,6 +21,7 @@ Armin Biere's SAT solver [Kissat](https://github.com/arminbiere/kissat) to be us
 
 Kissat versions can be selected via cargo crate features.
 The following Kissat versions are available:
+- `v4-0-1`: [Version 4.0.1](https://github.com/arminbiere/kissat/releases/tag/rel-4.0.1)
 - `v4-0-0`: [Version 4.0.0](https://github.com/arminbiere/kissat/releases/tag/rel-4.0.0)
 - `v3-1-0`: [Version 3.1.0](https://github.com/arminbiere/kissat/releases/tag/rel-3.1.0)
 - `v3-0-0`: [Version 3.0.0](https://github.com/arminbiere/kissat/releases/tag/rel-3.0.0)