Unverified Commit 5de97538 authored by Weijia Wang's avatar Weijia Wang Committed by GitHub
Browse files

verifast: 21.04 -> 24.08.30 (#337846)

parents 29827498 2929e547

pkgs/applications/science/logic/verifast/default.nix

+2 −2
Original line number Diff line number Diff line
@@ -20,11 +20,11 @@ let 
in

stdenv.mkDerivation rec {

  pname = "verifast";

  version = "21.04";

  version = "24.08.30";



  src = fetchurl {

    url    = "https://github.com/verifast/verifast/releases/download/${version}/${pname}-${version}-linux.tar.gz";

    sha256 = "sha256-PlRsf4wFXoM+E+60SbeKzs/RZK0HNVirX47AnI6NeYM=";

    sha256 = "sha256-hIS5e+zVlxSOqr1/ZDy0PangyWjB9uLCvN8Qr688msg=";

  };



  dontConfigure = true;