diff --git a/docs/requirements.txt b/docs/requirements.txt
index 10bdc462..16a86f05 100644
--- a/docs/requirements.txt
+++ b/docs/requirements.txt
@@ -14,5 +14,5 @@ nbsphinx>=0.8.8
 jinja2>=3.0.3
 clingo-dl
 furo
-clingexplai
+clingexplaid
 sphinxemoji