mirrors/nixpkgs
1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-20 12:42:24 +00:00
Code Issues Wiki Activity

saw-tools: remove phases

Browse source
This commit is contained in:
Felix Buehler 2021-08-03 00:03:41 +02:00
parent 7b20eb9e37
commit f67a0a37f0
1 changed files with 0 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
pkgs/applications/science/logic/saw-tools/default.nix
View file

@ -48,8 +48,6 @@ stdenv.mkDerivation {
done
'';
phases = "unpackPhase installPhase fixupPhase";
meta = {
description = "Tools for software verification and analysis";
homepage = "https://saw.galois.com";