1550a4fe6b
- This is the first packages which uses Dune in order to build and install so I had to refactor build-support/coq/default.nix in order to support it. - I added a new feature: one can now release.v.sha256 empty to try to download with a fake sha256, hence failures are reported and one can copy paste the sha256 given by the error message. - I updated the documentation of languages-frameworks/coq.section.md accordingly.
Nixpkgs/doc
This directory houses the sources files for the Nixpkgs manual.
You can find the rendered documentation for Nixpkgs unstable on nixos.org.
Docs for Nixpkgs stable are also available.
If you want to contribute to the documentation, here's how to do it.
If you're only getting started with Nix, go to nixos.org/learn.