Merge pull request #572 from Zimmi48/patch-1

ejgallego · Oct 10, 2023 · 05aa03a · 05aa03a
2 parents 6b158f9 + b5a4b22
commit 05aa03a
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -247,6 +247,9 @@ guide](./CONTRIBUTING.md)
   ```
 - **Nix**:
   - In nixpkgs: [coqPackages.coq-lsp](https://github.com/NixOS/nixpkgs/tree/master/pkgs/development/coq-modules/coq-lsp)
+  - This package is automatically put in scope when running `nix-shell` in a
+    project using the [Coq Nix Toolbox](https://github.com/coq-community/coq-nix-toolbox)
+    (with a sufficiently recent version of the Toolbox).
   - An example of a `flake` that uses `coq-lsp` in a development environment is here
      https://github.com/HoTT/Coq-HoTT/blob/master/flake.nix .
 - **Windows**: