commit aa37dc8aeb73668083941412fe33936baf4943d6

pyrox.dev / nixpkgs

lol

fork atom

Merge pull request #94389 from r-ryantm/auto-update/eprover

eprover: 2.4 -> 2.5

authored by

Gabriel Ebner and committed by

GitHub 5 years ago aa37dc8a 7861d43a

+2 -2

1 changed file

expand all

unified split

pkgs

applications

science

logic

eprover

default.nix

+2 -2

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

··· 2 3 stdenv.mkDerivation rec { 4 pname = "eprover"; 5 - version = "2.4"; 6 7 src = fetchurl { 8 url = "https://wwwlehre.dhbw-stuttgart.de/~sschulz/WORK/E_DOWNLOAD/V_${version}/E.tgz"; 9 - sha256 = "1xn5yypy6w36amsb3kvj1srlbv6v5dl51k64cd264asz2n469dxw"; 10 }; 11 12 buildInputs = [ which ];

··· 2 3 stdenv.mkDerivation rec { 4 pname = "eprover"; 5 + version = "2.5"; 6 7 src = fetchurl { 8 url = "https://wwwlehre.dhbw-stuttgart.de/~sschulz/WORK/E_DOWNLOAD/V_${version}/E.tgz"; 9 + sha256 = "0jj0zkiqpcx9xp16spkskrv3jycprz7jg1g97i67j43c4yvxylwa"; 10 }; 11 12 buildInputs = [ which ];