nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-02-16 17:14:00 +00:00
Code Issues Packages Projects Releases Wiki Activity
eaa7682ca1
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