summary refs log tree commit diff
path: root/doc/languages-frameworks/coq.section.md
Commit message (Expand)AuthorAge
* Fix a small typo in the manualAndrew Morgan2023-04-14
* doc: fix typosfigsoda2022-12-17
* doc: use sri hash syntaxColin Arnott2022-12-04
* coqPackages.mkCoqDerivation: upgrade to Dune 3Théo Zimmermann2022-10-02
* doc/language-frameworks/coq: add explanation of how to override packagesDennis Gosnell2022-09-15
* Update doc/languages-frameworks/coq.section.mdLuc Chabassier2022-07-13
* doc: clarify coq overrideDwarfMaster2022-07-13
* mkCoqDerivation: do not set DESTDIRVincent Laporte2022-06-18
* coqPackages: etcCyril Cohen2022-05-25
* Revert "coqPackages: etc"Vincent Laporte2022-05-13
* coqPackages: etcCyril Cohen2022-05-12
* coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps ...Ulrik Strid2022-02-25
* coqPackages.mkCoqDerivation: rely on namePrefix to compute default opam-nameThéo Zimmermann2021-09-20
* coqPackages.mkCoqDerivation: fix useDune2Théo Zimmermann2021-08-17
* doc: prepare for commonmarkJan Tojnar2021-06-07
* coqPackages.multinomials: 1.5.2 -> 1.5.4 (#115427)Cyril Cohen2021-03-10
* doc: add function argument order convention (#110060)V2021-01-20
* coqPackages: doc (#108937)Cyril Cohen2021-01-11
* coqPackages: refactorCyril Cohen2021-01-09
* doc: convert coq to commonmarkStephen OBrien2020-11-27
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-04-30 11:51:06 +0000