gador/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

verifast: 25.07 -> 25.08 (#438113)

Browse Source
This commit is contained in:
Wolfgang Walther
2025-09-10 17:39:19 +00:00
committed by GitHub
parent 1a79e64b82 127b084e12
commit f1b7496b95
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/by-name/ve/verifast/package.nix
+2 -2
View File
@@ -45,11 +45,11 @@ let
in
stdenv.mkDerivation rec {
pname = "verifast";
version = "25.07";
version = "25.08";
src = fetchurl {
url = "https://github.com/verifast/verifast/releases/download/${version}/${pname}-${version}-linux.tar.gz";
sha256 = "sha256-SNLFO0puS6a/A71jA9vZKgK/uJYlPAYmaylznHi60js=";
sha256 = "sha256-HkABnWrdkb9yFByG9AB/L+Hu9n9FPLf7jx9at9MdUJ8=";
};
dontConfigure = true;