summary refs log tree commit diff
path: root/pkgs/build-support/coq/default.nix
Commit message (Expand)AuthorAge
* treewide: deprecate isNullFelix Buehler2023-03-06
* mkCoqDerivation: findlib is an optional inputVincent Laporte2023-02-28
* coqPackages.mkCoqDerivation: upgrade to Dune 3Théo Zimmermann2022-10-02
* Do not rely on legacy ocaml passthru value.Théo Zimmermann2022-07-08
* 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
* mkCoqDerivation: use COQMF_COQLIB for dev versions of CoqThéo Zimmermann2021-09-08
* coqPackages.mkCoqDerivation: fix useDune2Théo Zimmermann2021-08-17
* mkCoqDerivation: fix useDune2Théo Zimmermann2021-06-10
* coqPackages.multinomials: 1.5.2 -> 1.5.4 (#115427)Cyril Cohen2021-03-10
* treewide: remove implicit use of stdenv.libBen Siraphob2021-01-27
* coqPackages: refactorCyril Cohen2021-01-09
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-05-03 04:01:52 +0000