pyrox.dev
verifast: 25.07 -> 25.08
+2
-2
pkgs/by-name/ve/verifast/package.nix
+2
-2
pkgs/by-name/ve/verifast/package.nix
···
45
in
46
stdenv.mkDerivation rec {
47
pname = "verifast";
48
-
version = "25.07";
49
50
src = fetchurl {
51
url = "https://github.com/verifast/verifast/releases/download/${version}/${pname}-${version}-linux.tar.gz";
52
-
sha256 = "sha256-SNLFO0puS6a/A71jA9vZKgK/uJYlPAYmaylznHi60js=";
53
};
54
55
dontConfigure = true;
···
45
in
46
stdenv.mkDerivation rec {
47
pname = "verifast";
48
+
version = "25.08";
49
50
src = fetchurl {
51
url = "https://github.com/verifast/verifast/releases/download/${version}/${pname}-${version}-linux.tar.gz";
52
+
sha256 = "sha256-HkABnWrdkb9yFByG9AB/L+Hu9n9FPLf7jx9at9MdUJ8=";
53
};
54
55
dontConfigure = true;