lol
fork

Configure Feed

Select the types of activity you want to include in your feed.

saw-tools: 1.2 -> 1.3

+2 -2
+2 -2
pkgs/by-name/sa/saw-tools/package.nix
··· 13 13 14 14 stdenv.mkDerivation (finalAttrs: { 15 15 pname = "saw-tools"; 16 - version = "1.2"; 16 + version = "1.3"; 17 17 18 18 src = fetchurl { 19 19 url = "https://github.com/GaloisInc/saw-script/releases/download/v${finalAttrs.version}/saw-${finalAttrs.version}-ubuntu-22.04-X64-with-solvers.tar.gz"; 20 - hash = "sha256-A99BCiVV5Ep/PL7VSDNYcvr177Q+FKdDrxhFJLW/iU4="; 20 + hash = "sha256-1t1uGAQXCBC//RNBxQfZIfg00At600An9HaEIcVBEy0="; 21 21 }; 22 22 23 23 buildInputs = [