5 commits

Author	SHA1	Message	Date
Cyril Cohen	1550a4fe6b	coqPackages.multinomials: 1.5.2 -> 1.5.4 (#115427) ... - 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.	2021-03-10 16:25:32 +01:00
V	7616206b77	doc: add function argument order convention (#110060) ... * doc: add function argument order convention Ordering by usage is the de facto ordering given to arguments. It's logical, and makes finding argument usage easier. Putting lib first is common in NixOS modules, so it's reasonable to mirror this in nixpkgs proper. Additionally, it's not a package as such, has zero dependencies, and can be found used anywhere in a derivation. * doc: clean up usage of lib	2021-01-20 19:07:16 -05:00
Cyril Cohen	e87aef06e0	coqPackages: doc (#108937) ... changing bullet style	2021-01-11 10:23:05 +01:00
Cyril Cohen	9ffd16b385	coqPackages: refactor	2021-01-09 11:56:17 +01:00
Stephen OBrien	a7e9047db3	doc: convert coq to commonmark	2020-11-27 08:13:55 +00:00