dev/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity
db0914534a
nixpkgs/pkgs/build-support/coq
History
Yueh-Shun Li 5d42a8b38c treewide: handle preConfigurePhases __structuredAttrs-agnostically 
Always specify the preConfigurePhases attribute as a list instead of a
string.

Append elements to the preConfigurePhases Bash variable using
appendToVar instead of string or Bash array concatenation.
2024-09-03 05:33:59 +08:00
..
meta-fetch Avoid top-level with ...; in pkgs/build-support/coq/meta-fetch/default.nix 2024-03-19 22:31:19 +01:00
default.nix treewide: handle preConfigurePhases __structuredAttrs-agnostically 2024-09-03 05:33:59 +08:00
extra-lib.nix Avoid top-level with ...; in pkgs/build-support/coq/extra-lib.nix 2024-03-19 22:31:19 +01:00