diff options
author | R. RyanTM <ryantm-bot@ryantm.com> | 2020-02-07 20:39:41 +0000 |
---|---|---|
committer | Austin Seipp <aseipp@pobox.com> | 2020-02-09 14:29:31 -0600 |
commit | 1d4fd7f5f28f4edb930555b642b378f2ef77c680 (patch) | |
tree | 8ce52ba2f6def58f1ab0264f185364bd1c56affb /pkgs | |
parent | ff1018a61e133f9644254b62761619477a157890 (diff) | |
download | nixlib-1d4fd7f5f28f4edb930555b642b378f2ef77c680.tar nixlib-1d4fd7f5f28f4edb930555b642b378f2ef77c680.tar.gz nixlib-1d4fd7f5f28f4edb930555b642b378f2ef77c680.tar.bz2 nixlib-1d4fd7f5f28f4edb930555b642b378f2ef77c680.tar.lz nixlib-1d4fd7f5f28f4edb930555b642b378f2ef77c680.tar.xz nixlib-1d4fd7f5f28f4edb930555b642b378f2ef77c680.tar.zst nixlib-1d4fd7f5f28f4edb930555b642b378f2ef77c680.zip |
verifast: 18.02 -> 19.12
Diffstat (limited to 'pkgs')
-rw-r--r-- | pkgs/applications/science/logic/verifast/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/applications/science/logic/verifast/default.nix b/pkgs/applications/science/logic/verifast/default.nix index 3e3e26708618..c5e8078eff2a 100644 --- a/pkgs/applications/science/logic/verifast/default.nix +++ b/pkgs/applications/science/logic/verifast/default.nix @@ -20,11 +20,11 @@ let in stdenv.mkDerivation rec { pname = "verifast"; - version = "18.02"; + version = "19.12"; src = fetchurl { url = "https://github.com/verifast/verifast/releases/download/${version}/${pname}-${version}-linux.tar.gz"; - sha256 = "19050be23b6d5e471690421fee59f84c58b29e38379fb86b8f3713a206a4423e"; + sha256 = "169kshjq4cf4i9v92azv0xaflrnik5686w7fwcgdhd6qkbzflzl6"; }; dontStrip = true; |