Extend environment to be able to run the mv files.

flake.nix

@@ -24,6 +24,7 @@
             pwgen
             jq
             nixpkgs-fmt
+            coqPackages_8_19.coq-lsp
           ];
 
           shellHook = ''
@@ -39,9 +40,7 @@
               ${pythonPackages.python.interpreter} -m venv "${venvDir}"
             fi
 
-            # Under some circumstances it might be necessary to add your virtual
-            # environment to PYTHONPATH, which you can do here too;
-            PYTHONPATH=$PWD/${venvDir}/${pythonPackages.python.sitePackages}/:$PYTHONPATH
+            export OCAMLPATH=${pkgs.coqPackages_8_19.coq-lsp}/lib/ocaml/${pkgs.coqPackages_8_19.coq.ocaml.version}/site-lib
 
             source "${venvDir}/bin/activate"
           '';