nixpkgs/pkgs/development/coq-modules/Verdi
Artturin 20591326aa treewide: remove unnecessary patching of configure script
The configure phase of `stdenv` now runs `patchShebangs` on
`configureScript`.

Did not remove `patchShebangs` in packages which override `configurePhase`
2023-11-25 18:16:12 +02:00
..
default.nix