Commit Graph

10 Commits (85b2a7e8f0dbeed0cee03c54b95a57d99529993f)

Author SHA1 Message Date
Cyril Cohen 7e589a45ef coqPackages: etc 2 years ago
Ulrik Strid 7e20e9039e coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps = true 2 years ago
Théo Zimmermann 20291381c1 coqPackages.mkCoqDerivation: rely on namePrefix to compute default opam-name 3 years ago
Théo Zimmermann 90654cce7d
coqPackages.mkCoqDerivation: fix useDune2 3 years ago
Jan Tojnar 6ecc641d08
doc: prepare for commonmark 3 years ago
Cyril Cohen 1550a4fe6b
coqPackages.multinomials: 1.5.2 -> 1.5.4 (#115427) 3 years ago
V 7616206b77
doc: add function argument order convention (#110060) 3 years ago
Cyril Cohen e87aef06e0
coqPackages: doc (#108937) 3 years ago
Cyril Cohen 9ffd16b385 coqPackages: refactor 3 years ago
Stephen OBrien a7e9047db3 doc: convert coq to commonmark 4 years ago