1 files changed, 1 insertions, 0 deletions
diff --git a/default.nix b/default.nix
index eb1125c..341c8fc 100644
--- a/default.nix
+++ b/default.nix
@@ -15,6 +15,7 @@ stdenv.mkDerivation {
                   ncoqPackages.serapi
                   python3
                   python3Packages.alectryon
+                  python3Packages.sphinx_rtd_theme
                 ];
 
   enableParallelBuilding = true;