| Age | Commit message (Expand) | Author |
|---|---|---|
| 2018-10-26 | doc: apply `make format` | Jörg Thalheim |
| 2018-10-19 | coqPackages: update documentation to mention coq.ocamlPackages attribute | Théo Zimmermann |
| 2018-05-01 | nixpkgs docs: format =) | Graham Christensen |
| 2017-12-19 | coqPackages docs: fix typo (and thus manual build) | Vladimír Čunát |
| 2017-12-18 | coqPackages: update documentation | Vincent Laporte |
| 2015-12-19 | nixpkgs manual: split languages into separate files | Vladimír Čunát |
 |
index : nixpkgs | |
| Contrib clone of nixpkgs | matthias |
| summaryrefslogtreecommitdiffstats |