about summary refs log tree commit diff
path: root/pkgs/build-support/coq
AgeCommit message (Expand)AuthorFilesLines
9 daysmkCoqDerivation: fix install path of ML plug-in built w/ duneVincent Laporte1-3/+2
2024-03-19Avoid top-level `with ...;` in pkgs/build-support/coq/extra-lib.nixPhilip Taron1-1/+21
2024-03-19Avoid top-level `with ...;` in pkgs/build-support/coq/meta-fetch/default.nixPhilip Taron1-9/+35
2024-03-19Avoid top-level `with ...;` in pkgs/build-support/coq/default.nixPhilip Taron1-2/+25
2023-03-06treewide: deprecate isNullFelix Buehler2-5/+5
2023-02-28mkCoqDerivation: findlib is an optional inputVincent Laporte1-2/+2
2022-10-02coqPackages.mkCoqDerivation: upgrade to Dune 3Théo Zimmermann1-7/+7
2022-09-11coqPackages.lib.overrideCoqDerivation: update documentation for overriding ve...Dennis Gosnell1-1/+12
2022-08-29coqPackages.mkCoqDerivation: add a coqPackages.lib.overrideCoqDerivation func...Dennis Gosnell1-0/+37
2022-07-08Do not rely on legacy ocaml passthru value.Théo Zimmermann1-1/+1
2022-06-18mkCoqDerivation: do not set DESTDIRVincent Laporte1-1/+1
2022-05-25coqPackages: etcCyril Cohen1-13/+27
2022-05-13Revert "coqPackages: etc"Vincent Laporte1-26/+13
2022-05-12coqPackages: etcCyril Cohen1-13/+26
2022-02-25coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps ...Ulrik Strid1-3/+6
2022-02-15coq: miscCyril Cohen1-4/+3
2021-09-20coqPackages.mkCoqDerivation: rely on namePrefix to compute default opam-nameThéo Zimmermann1-3/+2
2021-09-08mkCoqDerivation: use COQMF_COQLIB for dev versions of CoqThéo Zimmermann1-1/+2
2021-08-17coqPackages.mkCoqDerivation: fix useDune2Théo Zimmermann1-2/+8
2021-06-10mkCoqDerivation: fix useDune2Théo Zimmermann1-1/+1
2021-03-10coqPackages.multinomials: 1.5.2 -> 1.5.4 (#115427)Cyril Cohen2-13/+33
2021-01-27treewide: remove implicit use of stdenv.libBen Siraphob2-3/+4
2021-01-09coqPackages: refactorCyril Cohen3-0/+303
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-04 20:14:21 +0000