about summary refs log tree commit diff
path: root/doc/languages-frameworks/coq.section.md
AgeCommit message (Expand)AuthorFilesLines
2024-03-31doc: clean-up Coq derivation example (#299927)Vincent Laporte1-11/+6
2024-03-06Remove top level `with lib;` in docs (#293829)Philip Taron1-1/+7
2023-04-14Fix a small typo in the manualAndrew Morgan1-1/+1
2022-12-17doc: fix typosfigsoda1-1/+1
2022-12-04doc: use sri hash syntaxColin Arnott1-1/+1
2022-10-02coqPackages.mkCoqDerivation: upgrade to Dune 3Théo Zimmermann1-3/+3
2022-09-15doc/language-frameworks/coq: add explanation of how to override packagesDennis Gosnell1-0/+55
2022-07-13Update doc/languages-frameworks/coq.section.mdLuc Chabassier1-1/+1
2022-07-13doc: clarify coq overrideDwarfMaster1-1/+3
2022-06-18mkCoqDerivation: do not set DESTDIRVincent Laporte1-1/+1
2022-05-25coqPackages: etcCyril Cohen1-5/+10
2022-05-13Revert "coqPackages: etc"Vincent Laporte1-10/+5
2022-05-12coqPackages: etcCyril Cohen1-5/+10
2022-02-25coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps ...Ulrik Strid1-1/+2
2021-09-20coqPackages.mkCoqDerivation: rely on namePrefix to compute default opam-nameThéo Zimmermann1-2/+2
2021-08-17coqPackages.mkCoqDerivation: fix useDune2Théo Zimmermann1-0/+1
2021-06-07doc: prepare for commonmarkJan Tojnar1-2/+2
2021-03-10coqPackages.multinomials: 1.5.2 -> 1.5.4 (#115427)Cyril Cohen1-2/+4
2021-01-20doc: add function argument order convention (#110060)V1-2/+2
2021-01-11coqPackages: doc (#108937)Cyril Cohen1-26/+28
2021-01-09coqPackages: refactorCyril Cohen1-26/+63
2020-11-27doc: convert coq to commonmarkStephen OBrien1-0/+40
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-04 20:06:23 +0000