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

verifast: 18.02 -> 19.12

Browse Source
This commit is contained in:
R. RyanTM 2020-02-07 20:39:41 +00:00 committed by Austin Seipp
parent ff1018a61e
commit 1d4fd7f5f2
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/applications/science/logic/verifast/default.nix
View File

@ -20,11 +20,11 @@ let
in in
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
pname = "verifast"; pname = "verifast";
version = "18.02"; version = "19.12";
src = fetchurl { src = fetchurl {
url = "https://github.com/verifast/verifast/releases/download/${version}/${pname}-${version}-linux.tar.gz"; url = "https://github.com/verifast/verifast/releases/download/${version}/${pname}-${version}-linux.tar.gz";
sha256 = "19050be23b6d5e471690421fee59f84c58b29e38379fb86b8f3713a206a4423e"; sha256 = "169kshjq4cf4i9v92azv0xaflrnik5686w7fwcgdhd6qkbzflzl6";
}; };
dontStrip = true; dontStrip = true;