diff --git a/requirements.txt b/requirements.txt
index 1b54e4f..b6c06b5 100644
--- a/requirements.txt
+++ b/requirements.txt
@@ -3,11 +3,13 @@ teachbooks # depends on jupyter-book
 jupyterbook-patches
 sphinx-image-inverter
 download_link_replacer
-sphinx-exercise
+git+https://github.com/TeachBooks/sphinx-exercise #waiting for merge of https://github.com/executablebooks/sphinx-exercise/pull/75, after, replace this line with `sphinx-exercise`
 teachbooks-sphinx-tippy
 sphinx-iframes
 sphinx-named-colors
 sphinx-dropdown-toggle
+git+https://github.com/TeachBooks/sphinx-proof #waiting for merge of https://github.com/executablebooks/sphinx-proof/pull/146, after, replace this line with `sphinx-proof`
+sphinx-code-examples
 
 # Now list the packages you want to download directly from GitHub
 git+https://github.com/TeachBooks/Sphinx-Thebe