Roland Coeurjoly 480b64bd98 sby: Fix description. Remove duplicated inputs. --replace-fail instead of --replace. Be specific about which files patchShebangs is applied to. Run hooks in installPhase. Use btor2tools as input now that is updated		2024-08-24 16:33:28 -05:00
..
package.nix