tjh.dev
Clone of https://github.com/NixOS/nixpkgs.git (to stress-test knotserver)
verifast: 25.02 -> 25.06
+2
-2
pkgs/by-name/ve/verifast/package.nix
+2
-2
pkgs/by-name/ve/verifast/package.nix
···
45
45
in
46
46
stdenv.mkDerivation rec {
47
47
pname = "verifast";
48
-
version = "25.02";
48
+
version = "25.06";
49
49
50
50
src = fetchurl {
51
51
url = "https://github.com/verifast/verifast/releases/download/${version}/${pname}-${version}-linux.tar.gz";
52
-
sha256 = "sha256-XVyH0Rs9c19Ew/DKUq68iePE0RGdmO8lGI0Hy1etZeg=";
52
+
sha256 = "sha256-cIFAjZmFNiCnn7/Ddn82fW9sz9ryamOx8wo4JImqy1o=";
53
53
};
54
54
55
55
dontConfigure = true;