Unverified Commit 3c2b9a7d authored by thelissimus's avatar thelissimus
Browse files

saw-tools: 1.4 -> 1.5

parent 0dd0b1c9

pkgs/by-name/sa/saw-tools/package.nix

+1 −1
Original line number Diff line number Diff line
@@ -13,7 +13,7 @@ 


stdenv.mkDerivation (finalAttrs: {

  pname = "saw-tools";

  version = "1.4";

  version = "1.5";



  src = fetchurl {

    url = "https://github.com/GaloisInc/saw-script/releases/download/v${finalAttrs.version}/saw-${finalAttrs.version}-ubuntu-22.04-X64-with-solvers.tar.gz";