Commit 35a8e310 authored by Sergei Zimmerman's avatar Sergei Zimmerman
Browse files

cbmc: drop unused fetchurl

parent 2553b4dd

pkgs/by-name/cb/cbmc/package.nix

+0 −1
Original line number Diff line number Diff line
@@ -12,7 +12,6 @@ 
  perl,

  substituteAll,

  cudd,

  fetchurl,

  nix-update-script,

}: